Inproceedings,

Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures.

, , , and .
IFIP TCS, volume 155 of IFIP, page 409-422. Kluwer/Springer, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews