An Implicit Characterization of PSPACE.

Marco Gaboardi Jean-Yves Marion Simona Ronchi Della Rocca

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

axiomatic characterization
neural network
temporal logic
decision procedures
information systems
pattern recognition
natural language