PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stärk, Robert F."

Author of the publication

copydeleteadd this publication to your clipboard
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.

, and . J. Autom. Reasoning, 30 (3-4): 323-361 (2003)

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.

Philipp Stärk University of Stuttgart

Sven Stark University of Stuttgart

F. Dörr

F. Laufer

F. Rusitschka

 

Other publications of authors with the same name

A high-level modular definition of the semantics of C#., , , and . Theor. Comput. Sci., 336 (2-3): 235-284 (2005)First-order theories for pure Prolog programs with negation.. Arch. Math. Log., 34 (2): 113-144 (1995)A Transformation of Propositional Prolog Programs into Classical Logic.. LPNMR, volume 928 of Lecture Notes in Computer Science, page 302-315. Springer, (1995)Negation-Complete Logic Programs.. CSL, volume 702 of Lecture Notes in Computer Science, page 403-409. Springer, (1992)A Direct Proof for the Completeness of SLD-Resolution.. CSL, volume 440 of Lecture Notes in Computer Science, page 382-383. Springer, (1989)A Direct Proof of the Completeness of SLDNF-Resolution.. J. Log. Comput., 9 (1): 47-61 (1999)Information Algebras and Consequence Operators., and . Logica Universalis, 1 (1): 139-165 (2007)Abstract State Machines. A Method for High-Level System Design and Analysis, and . Springer, (2003)The Defining Power of Stratified and Hierarchical Logic Programs., and . J. Log. Program., 15 (1&2): 55-77 (1993)Formal specification and verification of the C# thread model.. Theor. Comput. Sci., 343 (3): 482-508 (2005)