Robert F. Stärk - Concepedia

Author

Robert F. Stärk

Also Known As

R.F. Stark, ROBERT F. STÄRK, Robert F Stark, Robert F. Stark, Robert F. Stärk, Robert Stark, Robert Stärk, Schroeder-Heister, Peter, Stärk, Robert F.

Publications

Citations

H-Index

Concepts

All Affiliations

University of Fribourg University of Bern ETH Zurich

About

Robert F. Stärk is an author at University of Fribourg specializing in formal methods, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	202
2	Computer Science	8	8	202
3	Language Studies	1	1	11
4	Linguistics	1	1	11
5	Compilers	1	1	12

Robert F. Stärk

Publications

267

Citations

H-Index

Page 1

	Year	Citations
A high-level modular definition of the semantics of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="normal">C</mml:mi><mml:mo>♯</mml:mo></mml:math> Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Theoretical Computer Science Math XmlnsMi Mathvariant=Formal NotationEngineeringModeling Notation	2004	70
A Logic for Abstract State Machines Robert F. Stärk, Stanislas Nanchen TUGraz OPEN Library (Graz University of Technology)	2020	37
The theoretical foundations of LPTP (a logic program theorem prover) Robert F. Stärk The Journal of Logic Programming Applied LogicComputational LogicTheoretical FoundationsEngineeringAutomated Reasoning	1998	34
Input/Output Dependencies of Normal Logic Programs Robert F. Stärk Journal of Logic and Computation Applied LogicComputational LogicDeclarative ProgrammingEngineeringProgram Analysis	1994	22
A Complete Axiomatization of the Three valued Completion of Logic Programs Robert F. Stärk Journal of Logic and Computation Applied LogicComputational LogicNon-classical LogicEngineeringAutomated Reasoning	1991	21
Information Algebras and Consequence Operators Jürg Kohlas, Robert F. Stärk Logica Universalis Algebraic LogicAutomated ReasoningInformation AlgebrasFirst-order LogicInformation Management	2006	17
CUT-PROPERTY AND NEGATION AS FAILURE Robert F. Stärk International Journal of Foundations of Computer Science Computational LogicNon-classical LogicEngineeringIncompletenessAutomated Reasoning	1994	16
The defining power of stratified and hierarchical logic programs Gerhard Jäger, Robert F. Stärk The Journal of Logic Programming Applied LogicEngineeringAutomated ReasoningHierarchical Logic ProgramsFormal Methods	1993	16
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages Robert F. Stärk Journal of Functional Programming EngineeringVerificationWell-founded SemanticsHigher-order LogicSoftware Analysis	1998	12
The declarative semantics of the Prolog selection rule Robert F. Stärk EngineeringWell-founded SemanticsHigher-order LogicSemanticsFormal Verification	2002	11

Page 1