System Description: The Proof Transformation System CERES (Q5747781): Difference between revisions

@@ Property / describes a project that uses @@
+CERES
@@ Property / describes a project that uses: CERES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_36
+Normal rank
@@ Property / OpenAlex ID @@
+W1504399489
@@ Property / OpenAlex ID: W1504399489 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Transformation by CERES
@@ Property / cites work: Proof Transformation by CERES / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+CERES: An analysis of Fürstenberg's proof of the infinity of primes
+Normal rank
@@ Property / cites work @@
+Cut-elimination and redundancy-elimination by resolution
+Normal rank
@@ Property / cites work @@
+Towards a clausal analysis of cut-elimination
@@ Property / cites work: Towards a clausal analysis of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand Sequent Extraction
@@ Property / cites work: Herbrand Sequent Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Clausal Approach to Proof Analysis in Second-Order Logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747781