Walther recursion

DOI10.1007/3-540-61511-3_119zbMath1412.68244OpenAlexW2912541449MaRDI QIDQ4647554

David Allen McAllester, Kostas Arkoudas

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_119

zbMATH Keywords

tree automatonrecursive definitionrecursive callacceptable definitionnatural definition

Mathematics Subject Classification ID

Related Items (1)

Inferring program specifications in polynomial-time

Uses Software

• IMPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Orderings for term-rewriting systems
• IMPS: An interactive mathematical proof system
• On proving the termination of algorithms by machine
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Walther recursion