A theorem prover for a computational logic (Q6488518): Difference between revisions

@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016540
@@ Property / cites work: Q4016540 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932277
@@ Property / cites work: Q3932277 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Checking the RSA Public Key Encryption Algorithm
+Normal rank
@@ Property / cites work @@
+A Mechanical Proof of the Unsolvability of the Halting Problem
+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 @@
+The addition of bounded quantification and partial functions to a computational logic and its theorem prover
+Normal rank
@@ Property / cites work @@
+Q3709921
@@ Property / cites work: Q3709921 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / 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 @@
+The automated proof of a trace transformation for a bitonic sort
+Normal rank
@@ Property / cites work @@
+Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of automated theorem proving in the compile-time derivation of concurrency
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Q5519616
@@ Property / cites work: Q5519616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical proof of the termination of Takeuchi's function
+Normal rank
@@ Property / cites work @@
+Reaching Agreement in the Presence of Faults
@@ Property / cites work: Reaching Agreement in the Presence of Faults / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem
+Normal rank
@@ Property / cites work @@
+Towards mechanical metamathematics
@@ Property / cites work: Towards mechanical metamathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical proof of the Church-Rosser theorem
@@ Property / cites work: A mechanical proof of the Church-Rosser theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581566
@@ Property / cites work: Q5581566 / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Computer proofs in group theory
@@ Property / cites work: Computer proofs in group theory / rank @@
+Normal rank