6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 [1 ed.] 3540115587, 9783540115588
6th Conference in Automated DeductionNew York, USA, June 7-9, 1982
205 59 3MB
English Pages 397 Year 1982
Table of contents :
Solving open questions with an automated theorem-proving program....Pages 1-31
STP: A mechanized logic for specification and verification....Pages 32-49
A look at TPS....Pages 50-69
Logic machine architecture: Kernel functions....Pages 70-84
Logic machine architecture: Inference mechanisms....Pages 85-108
Procedure implementation through demodulation and related tricks....Pages 109-131
The application of Homogenization to simultaneous equations....Pages 132-143
Meta-level inference and program verification....Pages 144-150
An example of FOL using metatheory....Pages 151-158
Comparison of natural deduction and locking resolution implementations....Pages 159-171
Derived preconditions and their use in program synthesis....Pages 172-193
Automatic construction of special purpose programs....Pages 194-208
Deciding combinations of theories....Pages 209-222
Exponential improvement of efficient backtracking....Pages 223-239
Exponential improvement of exhaustive backtracking: data structure and implementation....Pages 240-259
Intuitionistic basis for non-monotonic logic....Pages 260-273
Knowledge retrieval as limited inference....Pages 274-291
On indefinite databases and the closed world assumption....Pages 292-308
Proof by matrix reduction as plan + validation....Pages 309-325
Improvements of a tautology-testing algorithm....Pages 326-341
Representing infinite sequences of resolvents in recursive First-Order Horn Databases....Pages 342-359
The power of the Church-Rosser property for string rewriting systems....Pages 360-368
Universal unification and a classification of equational theories....Pages 369-389
Solving open questions with an automated theorem-proving program....Pages 1-31
STP: A mechanized logic for specification and verification....Pages 32-49
A look at TPS....Pages 50-69
Logic machine architecture: Kernel functions....Pages 70-84
Logic machine architecture: Inference mechanisms....Pages 85-108
Procedure implementation through demodulation and related tricks....Pages 109-131
The application of Homogenization to simultaneous equations....Pages 132-143
Meta-level inference and program verification....Pages 144-150
An example of FOL using metatheory....Pages 151-158
Comparison of natural deduction and locking resolution implementations....Pages 159-171
Derived preconditions and their use in program synthesis....Pages 172-193
Automatic construction of special purpose programs....Pages 194-208
Deciding combinations of theories....Pages 209-222
Exponential improvement of efficient backtracking....Pages 223-239
Exponential improvement of exhaustive backtracking: data structure and implementation....Pages 240-259
Intuitionistic basis for non-monotonic logic....Pages 260-273
Knowledge retrieval as limited inference....Pages 274-291
On indefinite databases and the closed world assumption....Pages 292-308
Proof by matrix reduction as plan + validation....Pages 309-325
Improvements of a tautology-testing algorithm....Pages 326-341
Representing infinite sequences of resolvents in recursive First-Order Horn Databases....Pages 342-359
The power of the Church-Rosser property for string rewriting systems....Pages 360-368
Universal unification and a classification of equational theories....Pages 369-389
![6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 [1 ed.]
3540115587, 9783540115588](https://ebin.pub/img/200x200/6th-conference-on-automated-deduction-new-york-usa-june-79-1982-1nbsped-3540115587-9783540115588.jpg)
![10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings [1 ed.]
9783540528852, 3540528857](https://ebin.pub/img/200x200/10th-international-conference-on-automated-deduction-kaiserslautern-frg-july-2427-1990-proceedings-1nbsped-9783540528852-3540528857.jpg)
![Applied Cryptography and Network Security: Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005. Proceedings [1 ed.]
3540262237, 9783540262237](https://ebin.pub/img/200x200/applied-cryptography-and-network-security-third-international-conference-acns-2005-new-york-ny-usa-june-7-10-2005-proceedings-1nbsped-3540262237-9783540262237.jpg)
![Third Conference on Vitamin C (Annals of the New York Academy of Sciences) [illustrated]
0897663918, 9780897663915](https://ebin.pub/img/200x200/third-conference-on-vitamin-c-annals-of-the-new-york-academy-of-sciences-illustrated-0897663918-9780897663915.jpg)