E-Books durchsuchen

6th Conference on Automated Deduction [1982]

1
Solving open questions with an automated theorem-proving program
32
STP: A mechanized logic for specification and verification
50
A look at TPS
70
Logic machine architecture: Kernel functions
85
Logic machine architecture: Inference mechanisms
109
Procedure implementation through demodulation and related tricks
132
The application of Homogenization to simultaneous equations
144
Meta-level inference and program verification
151
An example of FOL using metatheory
159
Comparison of natural deduction and locking resolution implementations
172
Derived preconditions and their use in program synthesis
194
Automatic construction of special purpose programs
209
Deciding combinations of theories
223
Exponential improvement of efficient backtracking
240
Exponential improvement of exhaustive backtracking: data structure and implementation
260
Intuitionistic basis for non-monotonic logic
274
Knowledge retrieval as limited inference
292
On indefinite databases and the closed world assumption
309
Proof by matrix reduction as plan + validation
326
Improvements of a tautology-testing algorithm
342
Representing infinite sequences of resolvents in recursive First-Order Horn Databases
360
The power of the Church-Rosser property for string rewriting systems
369
Universal unification and a classification of equational theories
Feedback