( en | de | ru )

 

Disambiguation of "Schmitt, Peter H."

Author of the publication

copydeleteadd this publication to your clipboard
An Order-Sorted Logic for Knowledge Representation Systems

, , , , and . IWBS Report, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

P H Schmitt

Peter Schmitt

Peter Schmitt

Peter Schmitt

Peter Schmitt

 

Other publications of authors with the same name

A Tableau System for Linear-TIME Temporal Logic., and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 130-144. Springer, (1997)Deductive Aspects of Three-Valued Logic.. Text Understanding in LILOG, volume 546 of Lecture Notes in Computer Science, page 394-401. Springer, (1991)A Formal Operational Semantics for Languages of Type Prolog III., and . CSL, volume 533 of Lecture Notes in Computer Science, page 67-79. Springer, (1990)Theorie der logischen Programmierung. Springer, (1992)Locally pure topological abelian groups: elementary invariants., and . Ann. Pure Appl. Log., 24 (1): 49-85 (1983)Two First-Order Theories of Ordinals.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 247-257. Springer, (2020)A Survey of Rewrite Systems.. CSL, volume 329 of Lecture Notes in Computer Science, page 235-262. Springer, (1987)On the Computational Complexity of Quantified Horn Clauses., , and . CSL, volume 329 of Lecture Notes in Computer Science, page 129-137. Springer, (1987)A Description of the Tableau Method Using Abstract State Machines., and . J. Log. Comput., 7 (5): 659-681 (1997)Computational aspects of three-valued logic. LILOG-Report, (1987)