Robert F. Stärk

Available identifiers

zbMath Open stark.robert-fWikidataQ51156102 ScholiaQ51156102MaRDI QIDQ555780

List of research outcomes

Publication	Date of Publication	Type
Loop checking and the well-founded semantics	2022-08-30	Paper
A transformation of propositional Prolog programs into classical logic	2022-08-30	Paper
Abstract State Machines 2004. Advances in Theory and Practice	2009-04-30	Paper
Abstract State Machines 2004. Advances in Theory and Practice	2009-04-30	Paper
Information algebras and consequence operators	2007-04-10	Paper
Formal specification and verification of the C\(\#\) thread model	2005-11-01	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
A high-level modular definition of the semantics of C\(_{\sharp}\)	2005-06-10	Paper
A logic for secure memory access of abstract state machines	2005-06-10	Paper
Axioms for strict and lazy functional programs	2005-04-21	Paper
Abstract State Machines	2003-10-01	Paper
Completeness of a bytecode verifier and a certifying Java-to-JVM compiler	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4413682	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4783310	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2742791	2001-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4268472	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4268471	1999-10-28	Paper
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages	1999-08-08	Paper
The theoretical foundations of LPTP (a logic program theorem prover)	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4215638	1998-10-26	Paper
Multi-valued autoepistemic logic	1998-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4362933	1997-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3837741	1996-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4893151	1996-09-01	Paper
CUT-PROPERTY AND NEGATION AS FAILURE	1995-07-11	Paper
First-order theories for pure Prolog programs with negation	1995-07-05	Paper
Input/Output Dependencies of Normal Logic Programs	1994-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4283249	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4281697	1994-03-10	Paper
The defining power of stratified and hierarchical logic programs	1993-05-16	Paper
A Complete Axiomatization of the Three valued Completion of Logic Programs	1992-06-28	Paper

Research outcomes over time

This page was built for person: Robert F. Stärk