STP: A mechanized logic for specification and verification (Englisch)
Nationallizenz
- Neue Suche nach: Shostak, R. E.
- Neue Suche nach: Schwartz, Richard
- Neue Suche nach: Melliar-Smith, P. M.
- Neue Suche nach: Shostak, R. E.
- Neue Suche nach: Schwartz, Richard
- Neue Suche nach: Melliar-Smith, P. M.
In:
6th Conference on Automated Deduction
;
32-49
;
1982
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:STP: A mechanized logic for specification and verification
-
Beteiligte:
-
Erschienen in:Lecture Notes in Computer Science ; 138 ; 32-49
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1982
-
Format / Umfang:18 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
-
Solving open questions with an automated theorem-proving programWos, L. et al. | 1982
- 32
-
STP: A mechanized logic for specification and verificationShostak, R. E. / Schwartz, Richard / Melliar-Smith, P. M. et al. | 1982
- 50
-
A look at TPSMiller, Dale A. / Cohen, Eve Longini / Andrews, Peter B. et al. | 1982
- 70
-
Logic machine architecture: Kernel functionsLusk, Ewing L. / McCune, William W. / Overbeek, Ross A et al. | 1982
- 85
-
Logic machine architecture: Inference mechanismsLusk, Ewing L. / McCune, William / Overbeek, Ross A et al. | 1982
- 109
-
Procedure implementation through demodulation and related tricksWinker, S. K. / Wos, L. et al. | 1982
- 132
-
The application of Homogenization to simultaneous equationsSilver, Bernard et al. | 1982
- 144
-
Meta-level inference and program verificationSterling, Leon / Bundy, Alan et al. | 1982
- 151
-
An example of FOL using metatheoryWeyhrauch, Richard W. et al. | 1982
- 159
-
Comparison of natural deduction and locking resolution implementationsGreenbaum, S. / Nagasaka, A. / O'Rorke, P. / Plaisted, D. et al. | 1982
- 172
-
Derived preconditions and their use in program synthesisSmith, Douglas R. et al. | 1982
- 194
-
Automatic construction of special purpose programsGoad, Chris et al. | 1982
- 209
-
Deciding combinations of theoriesShostak, Robert E. et al. | 1982
- 223
-
Exponential improvement of efficient backtrackingPietrzykowski, Tomasz / Matwin, Stanislaw et al. | 1982
- 240
-
Exponential improvement of exhaustive backtracking: data structure and implementationMatwin, Stanislaw / Pietrzykowski, Tomasz et al. | 1982
- 260
-
Intuitionistic basis for non-monotonic logicGabbay, Dov M. et al. | 1982
- 274
-
Knowledge retrieval as limited inferenceFrisch, Alan M. / Allen, James F. et al. | 1982
- 292
-
On indefinite databases and the closed world assumptionMinker, Jack et al. | 1982
- 309
-
Proof by matrix reduction as plan + validationCaferra, Ricardo et al. | 1982
- 326
-
Improvements of a tautology-testing algorithmHörnig, K. M. / Bibel, W. et al. | 1982
- 342
-
Representing infinite sequences of resolvents in recursive First-Order Horn DatabasesHenschen, Lawrence J. / Naqvi, Shamim A. et al. | 1982
- 360
-
The power of the Church-Rosser property for string rewriting systemsBook, Ronald V. et al. | 1982
- 369
-
Universal unification and a classification of equational theoriesSiekmann, J. / Szabó, P. et al. | 1982