Stärk, Robert F., 1963-
Stärk, Robert
Stärk, Robert F.
Stärk, Robert (Robert F.)
Robert F. Stärk Ph.D. from Universität Bern in 1992 on "The Proof Theory of Logic Programs with Negation" supervised by Gerhard Jäger
VIAF ID: 117511390 ( Personal )
Permalink: http://viaf.org/viaf/117511390
Preferred Forms
- 100 0 _ ‡a Robert F. Stärk ‡c Ph.D. from Universität Bern in 1992 on "The Proof Theory of Logic Programs with Negation" supervised by Gerhard Jäger
-
- 100 1 _ ‡a Stärk, Robert F. ‡d 1963-
-
-
- 100 1 _ ‡a Stärk, Robert F., ‡d 1963-
- 100 1 _ ‡a Stärk, Robert F., ‡d 1963-....
-
-
-
- 100 1 _ ‡a Stärk, Robert F. (sparse)
- 100 1 _ ‡a Stärk, Robert F. ‡d 1963-...
-
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
Abstract state machines : a method for high-level system design and analysis | |
A general semiunification algorithm and its correctness proof | |
Information algebras and information systems | |
Input-output dependencies of normal logic programs | |
Java and the Java Virtual Machine : definition, verification, validation | |
Eine mathematische Theorie der Informationssysteme | |
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings | |
PTCS 2001 | |
Why the constant undefined? : logics of partial and undefined terms for strict and non-strict functional programming languages |