An overview of the Tecton proof system (Q1341710): Difference between revisions

@@ Property / describes a project that uses @@
+LEGO
@@ Property / describes a project that uses: LEGO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AFFIRM
@@ Property / describes a project that uses: AFFIRM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RRL
@@ Property / describes a project that uses: RRL / 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.1016/0304-3975(94)90192-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2060173806
@@ Property / OpenAlex ID: W2060173806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747542
@@ Property / cites work: Q4747542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835049
@@ Property / cites work: Q3835049 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880315
@@ Property / cites work: Q3880315 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Report on the Larch shared language
@@ Property / cites work: Report on the Larch shared language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the Tecton proof system
@@ Property / cites work: An overview of the Tecton proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993347
@@ Property / cites work: Q3993347 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+A higher-order implementation of rewriting
@@ Property / cites work: A higher-order implementation of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Decision Procedure for Arithmetic with Function Symbols
+Normal rank
@@ Property / cites work @@
+Q3805961
@@ Property / cites work: Q3805961 / rank @@
+Normal rank