Extracting Proofs from Tabled Proof Search (Q2938048): Difference between revisions

@@ Property / OpenAlex ID @@
+W2245184119
@@ Property / OpenAlex ID: W2245184119 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Encoding transition systems in sequent calculus
@@ Property / cites work: Encoding transition systems in sequent calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Incorporating Tables into Proofs
@@ Property / cites work: Incorporating Tables into Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Proofs from Tabled Proof Search
@@ Property / cites work: Extracting Proofs from Tabled Proof Search / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming
@@ Property / cites work: Coinductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations
+Normal rank
@@ Property / cites work @@
+Proof search specifications of bisimulation and modal logics for the π-calculus
+Normal rank
@@ Property / cites work @@
+Cut elimination for a logic with induction and co-induction
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank