scientific article
From MaRDI portal
Publication:3384901
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1810.07374
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Mechanically certifying formula-based Noetherian induction reasoning
- Cyclic proofs with ordering constraints
- Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
- Sequent calculi for induction and infinite descent
- Weak alternating automata are not that weak
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for publication: