Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation (Englisch)
Nationallizenz
- Neue Suche nach: Bundy, Alan
- Neue Suche nach: Welham, Bob
- Neue Suche nach: Bundy, Alan
- Neue Suche nach: Welham, Bob
In:
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
;
24-38
;
1980
-
ISBN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation
-
Beteiligte:Bundy, Alan ( Autor:in ) / Welham, Bob ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 87 ; 24-38
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1980
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Using meta-theoretic reasoning to do algebraAiello, Luigia / Weyhrauch, Richard W. et al. | 1980
- 14
-
Generating contours of integration: An application of PROLOG in symbolic computingBelovári, Gábor / Campbell, J. A. et al. | 1980
- 24
-
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulationBundy, Alan / Welham, Bob et al. | 1980
- 39
-
Proofs as descriptions of computationGoad, C. A. et al. | 1980
- 53
-
Program synthesis from incomplete specificationsGuiho, Gérard / Gresse, Christian et al. | 1980
- 63
-
A system for proving equivalences of recursive programsKott, Laurent et al. | 1980
- 70
-
Variable elimination and chaining in a resolution-based prover for inequalitiesBledsoe, W. W. / Hines, Larry M. et al. | 1980
- 88
-
Decision procedures for some fragments of set theoryFerro, A. / Omodeo, E. G. / Schwartz, J. T. et al. | 1980
- 97
-
Simplifying interpreted formulasLoveland, D. W. / Shostak, R. E. et al. | 1980
- 110
-
Specification and verification of real-time, distributed systems using the theory of constraintsFurtek, Frederick C. et al. | 1980
- 126
-
Reasoning by plausible inferenceFriedman, Leonard et al. | 1980
- 143
-
Logical support in a time-varying modelThompson, Alan M. et al. | 1980
- 154
-
An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressionsGloess, Paul Y et al. | 1980
- 170
-
An experiment with "Edinburgh LCF"Leszczylowski, Jacek et al. | 1980
- 182
-
An approach to theorem proving on the basis of a typed lambda-calculusNederpelt, R. P. et al. | 1980
- 195
-
Adding dynamic paramodulation to rewrite algorithmsGloess, Paul Y / Laurent, Jean-Pierre H et al. | 1980
- 208
-
Hyperparamodulation: A refinement of paramodulationWos, L. / Overbeek, R. / Henschen, L. et al. | 1980
- 220
-
The AFFIRM theorem prover: Proof forests and management of large proofsErickson, Roddy W. / Musser, David R. et al. | 1980
- 232
-
Data structures and control architecture for implementation of theorem-proving programsOverbeek, Ross A. / Lusk, Ewing L. et al. | 1980
- 250
-
A note on resolution: How to get rid of factoring without loosing completenessNoll, Helga et al. | 1980
- 264
-
Abstraction mappings in mechanical theorem provingPlaisted, D. A. et al. | 1980
- 281
-
Transforming matings into natural deduction proofsAndrews, Peter B. et al. | 1980
- 293
-
Analysis of dependencies to improve the behaviour of logic programsBruynooghe, Maurice et al. | 1980
- 306
-
Selective backtracking for logic programsPereira, Luís Moniz / Porto, António et al. | 1980
- 318
-
Canonical forms and unificationHullot, Jean-Marie et al. | 1980
- 335
-
Deciding unique termination of permutative rewriting systems: Choose your term algebra carefullyJeanrond, Hans-Josef et al. | 1980
- 356
-
How to prove algebraic inductive hypotheses without inductionGoguen, J. A. et al. | 1980
- 374
-
A complete, nonredundant algorithm for reversed skolemizationCox, P. T. / Pietrzykowski, T. et al. | 1980