A Graphical Language for Proof Strategies

Gudmund Grov Aleks Kissinger

Published in: CoRR (2013)

Keyphrases

query language for xml
natural language
programming language
language learning
database
theorem proving
context dependent
optimal strategy
data sets
case study
expert systems
probabilistic model
graphical representation
computational linguistics
linear logic
proof theory