Login / Signup
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.
Niels Bjørn Bugge Grathwohl
Jeroen Ketema
Jens Duelund Pallesen
Jakob Grue Simonsen
Published in:
RTA (2011)
Keyphrases
</>
term rewriting
lambda calculus
theorem proving
predicate calculus
theorem prover
programming language
rewrite systems
knuth bendix
first order logic
operational semantics
program understanding
database query languages
artificial intelligence
multi agent systems
expert systems
inference rules