Normal Proofs and Their Grammar.

Masako Takahashi Yohji Akama Sachio Hirokawa

Published in: TACS (1994)

Keyphrases

theorem proving
context free grammars
natural language
theorem prover
broad coverage
artificial intelligence
grammatical inference
dependency structure
search engine
social networks
information systems
intrusion detection
decision procedures
context free
graph grammars
formal proof