Robert F. Stärk

From MaRDI portal
Person:555780

Available identifiers

zbMath Open stark.robert-fWikidataQ51156102 ScholiaQ51156102MaRDI QIDQ555780

List of research outcomes





PublicationDate of PublicationType
Loop checking and the well-founded semantics2022-08-30Paper
A transformation of propositional Prolog programs into classical logic2022-08-30Paper
Abstract State Machines 2004. Advances in Theory and Practice2009-04-30Paper
Abstract State Machines 2004. Advances in Theory and Practice2009-04-30Paper
Information algebras and consequence operators2007-04-10Paper
Formal specification and verification of the C\(\#\) thread model2005-11-01Paper
Formal Methods for Components and Objects2005-08-22Paper
A high-level modular definition of the semantics of C\(_{\sharp}\)2005-06-10Paper
A logic for secure memory access of abstract state machines2005-06-10Paper
Axioms for strict and lazy functional programs2005-04-21Paper
Abstract State Machines2003-10-01Paper
Completeness of a bytecode verifier and a certifying Java-to-JVM compiler2003-09-09Paper
https://portal.mardi4nfdi.de/entity/Q44136822003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q47833102002-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27427912001-09-23Paper
https://portal.mardi4nfdi.de/entity/Q42684721999-10-28Paper
https://portal.mardi4nfdi.de/entity/Q42684711999-10-28Paper
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages1999-08-08Paper
The theoretical foundations of LPTP (a logic program theorem prover)1999-04-19Paper
https://portal.mardi4nfdi.de/entity/Q42156381998-10-26Paper
Multi-valued autoepistemic logic1998-03-04Paper
https://portal.mardi4nfdi.de/entity/Q43629331997-11-13Paper
https://portal.mardi4nfdi.de/entity/Q38377411996-12-11Paper
https://portal.mardi4nfdi.de/entity/Q48931511996-09-01Paper
CUT-PROPERTY AND NEGATION AS FAILURE1995-07-11Paper
First-order theories for pure Prolog programs with negation1995-07-05Paper
Input/Output Dependencies of Normal Logic Programs1994-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42832491994-03-10Paper
https://portal.mardi4nfdi.de/entity/Q42816971994-03-10Paper
The defining power of stratified and hierarchical logic programs1993-05-16Paper
A Complete Axiomatization of the Three valued Completion of Logic Programs1992-06-28Paper

Research outcomes over time

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