1 - 3 of 3
1
Conference item icon
Conference item

When can we answer queries using result-bounded data interfaces?

  • Amarilli, A, Benedikt, MA
  • 2018-05-27
2
Conference item icon
Conference item

Polynomial automata: zeroness and applications

  • Benedikt, M, Duff, T, Sharad, A, et al.
  • 2017-08-18
3
Conference item icon
Conference item

The automatic detection of token structures and invariants using SAT checking

  • Antonino, P, Gibson-Robinson, T, Roscoe, A
  • 2017-01-01
FILTER RESULTS

TO TOP