BORGER, EGON Statistiche
BORGER, EGON
A Compositional Framework for Service Interaction Patterns and Interaction Flows
2005-01-01 Barros, M; Borger, Egon
A description of the Tableau Method using Abstract State Machines
1997-01-01 Borger, Egon; Schmid, P.
A description of the Tableau Method using Abstract State Machines
1990-01-01 Borger, Egon; Schmitt, P.
A formal method for provably correct composition of a real--life processor out of basic components (The APE100 reverse engineering project)
1995-01-01 Borger, Egon; DEL CASTILLO, G.
A formal operational semantics for languages of type Prolog III
1991-01-01 Borger, Egon; Schmitt, P.
A Formal Specification of Parlog
1993-01-01 Borger, Egon; Riccobene, E.
A Formal Specification of the PVM Architecture
1994-01-01 Borger, Egon; Glaesser, U.
A Framework to Specify Database Update Views for Prolog
1991-01-01 Borger, Egon; Demoen, B.
A high-level modular definition of the semantics of C#
2005-01-01 Borger, Egon; Fruja, Ng; Gervasi, Vincenzo; Stark, Rf
A High-Level Specification for Mediators
2006-01-01 M., Altenhofen; Borger, Egon; A., Friesen; J., Lemcke
A High-Level Specification for Mediators (Virtual Providers)
2005-01-01 Altenhofen, M; Borger, Egon; Lemcke, J.
A High-Level Specification for Semantic Web Service Discovery Services
2006-01-01 Borger, Egon
A logical operational semantics for full Prolog. Part I: Selection core and control
1990-01-01 Borger, Egon
A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations
1990-01-01 Borger, Egon
A logical operational semantics for full Prolog. Part III: Built-in predicates for files, terms, arithmetic and input-output
1992-01-01 Borger, Egon
A Mathematical Definition of Full Prolog
1995-01-01 Borger, Egon; Rosenzweig, D.
A Method for Verifiable and Validatable Business Process Modeling
2008-01-01 Borger, Egon; B., Thalheim
A Model for Mathematical Analysis of Functional Logic Programs and their Implementations
1994-01-01 Borger, Egon; LOPEZ FRAGUAS F., J; RODRIGUES ARTALEJO, M.
A Neural Abstract Machine
2001-01-01 Borger, Egon; Sona, D.
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems
1979-01-01 Borger, Egon