A Tactic Language for Declarative Proofs.

Serge Autexier Dominik Dietrich

Published in: ITP (2010)

Keyphrases

declarative language
programming language
language learning
domain independent
equational theories
natural language
computer programs
linguistic knowledge
data manipulation language
information systems
high level
knowledge representation
general purpose
theorem proving
modeling language
language processing