Q3384901 (Q3384901): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclic proofs with ordering constraints
@@ Property / cites work: Cyclic proofs with ordering constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanically certifying formula-based Noetherian induction reasoning
+Normal rank