( en | de | ru )

 

Disambiguierung von "Plaisted, David A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conditional Term Rewriting and First-Order Theorem Proving.

, , , und . CTRS, Volume 656 von Lecture Notes in Computer Science, Seite 257-271. Springer, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

lin A David

David A Traill

David A Wuttke

David A Lazica

David A M Goslings

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic Programming cum Applicative Programming., und . SLP, Seite 54-66. IEEE-CS, (1985)Programming with Equations, Subsets, and Relations., und . NACLP, Seite 1051-1068. MIT Press, (1989)General Algorithms for Permutations in Equational Inference., und . J. Autom. Reason., 26 (3): 223-268 (2001)CLIN-S - A Semantically Guided First-Order Theorem Prover., und . J. Autom. Reason., 18 (2): 183-188 (1997)Flowchart Schemata with Counters. STOC, Seite 44-51. ACM, (1972)An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time., , , , und . J. ACM, 40 (1): 1-16 (1993)A Simplified Problem Reduction Format.. Artif. Intell., 18 (2): 227-261 (1982)Theorem Proving with Abstraction.. Artif. Intell., 16 (1): 47-108 (1981)A Logic for Conditional Term Rewriting Systems.. CTRS, Volume 308 von Lecture Notes in Computer Science, Seite 212-227. Springer, (1987)Rewriting., und . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)