Inproceedings,

Stably computable predicates are semilinear.

, , and .
PODC, page 292-299. ACM, (2006)

Meta data

Tags

Users

  • @signof
  • @dblp

Comments and Reviews