The following pages link to Egon Börger (Q204637):
Displaying 50 items.
- Concurrent abstract state machines (Q303691) (← links)
- Ambient abstract state machines with applications (Q439957) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- The ASM refinement method (Q706516) (← links)
- The reachability problem for Petri nets and decision problems for Skolem arithmetic (Q1148890) (← links)
- The equivalence of Horn and network complexity for Boolean functions (Q1160604) (← links)
- Computability, complexity, logic. Transl. from the German (Q1187648) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Refinement of a typed WAM extension by polymorphic order-sorted types (Q1816918) (← links)
- D. Rödding: Ein Nachruf. (D. Rödding: obituary) (Q1820143) (← links)
- A mathematical definition of full Prolog (Q1899138) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- (Q2742791) (← links)
- (Q2753662) (← links)
- (Q2753665) (← links)
- (Q2753698) (← links)
- (Q2753710) (← links)
- (Q2753718) (← links)
- (Q2753719) (← links)
- (Q2767182) (← links)
- The abstract state machines method for modular design and analysis of programming languages (Q2987059) (← links)
- (Q3032237) (← links)
- (Q3032240) (← links)
- (Q3220555) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- (Q3312213) (← links)
- (Q3315498) (← links)
- The Abstract State Machines Method for High-Level System Design and Analysis (Q3557669) (← links)
- (Q3677732) (← links)
- (Q3722466) (← links)
- (Q3794169) (← links)
- (Q3827989) (← links)
- A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems (Q3866085) (← links)
- (Q3866091) (← links)
- (Q3900017) (← links)
- (Q3919696) (← links)
- Conservative reduction classes of Krom formulas (Q3947642) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- The R. E. Complexity of Decision Problems for Commutative Semi‐Thue Systems With Recursive Rule Set (Q3964546) (← links)
- A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations (Q3976026) (← links)
- A logical operational semantics of full Prolog. History of ideas (Q3976572) (← links)
- (Q4004289) (← links)
- (Q4010351) (← links)
- (Q4046033) (← links)
- Eine Entscheidbare Klasse Von Kromformeln (Q4052107) (← links)
- (Q4100083) (← links)
- (Q4128521) (← links)
- Diem-Grade Logischer Entscheidungsprobleme (Q4135479) (← links)
- (Q4182474) (← links)
