Automated Deduction – CADE-19

DOI10.1007/b11829zbMath1278.68278OpenAlexW2483160171MaRDI QIDQ5900734

Frank Pfenning, Brigitte Pientka

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11829

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Programs Using Syntax with First-Class Binders ⋮ Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions ⋮ A Meta Linear Logical Framework

Uses Software

• Twelf
• Teyjus