Publication:5111307
From MaRDI portal
DOI10.4230/LIPIcs.FSCD.2017.11zbMath1434.03025MaRDI QIDQ5111307
Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel
Publication date: 26 May 2020
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03F15: Recursive ordinals and ordinal notations
Uses Software