vix.ing
·
top
·
new
·
best
·
stats
·
spec
Clemens Ley
Logics with rigidly guarded data tests
2014/10/31 by
Gabriele Puppis
,
Thomas Colcombet
,
Clemens Ley
· 1 citation
Computer Science
·
#cs.FL
#cs.LO