Decidability, Introduction Rules and Automata

DOI10.1007/978-3-662-48899-7_8zbMath1471.03012arXiv1601.01484OpenAlexW2229700847MaRDI QIDQ3460044

Gilles Dowek, Ying Jiang

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.01484

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Decidability, Introduction Rules and Automata