Cut-elimination and the decidability of reachability in alternating pushdown systems.

Gilles Dowek Ying Jiang

Published in: CoRR (2014)

Keyphrases

linear logic
knowledge base
expert systems
graph cuts