CINECA IRIS Institutional Research Information System

BORGER, EGON Statistiche

BORGER, EGON  

Mostra records
Risultati 1 - 20 di 155 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
A Compositional Framework for Service Interaction Patterns and Interaction Flows 1-gen-2005 Barros, M; Borger, Egon
A description of the Tableau Method using Abstract State Machines 1-gen-1997 Borger, Egon; Schmid, P.
A description of the Tableau Method using Abstract State Machines 1-gen-1990 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) 1-gen-1995 Borger, Egon; DEL CASTILLO, G.
A formal operational semantics for languages of type Prolog III 1-gen-1991 Borger, Egon; Schmitt, P.
A Formal Specification of Parlog 1-gen-1993 Borger, Egon; Riccobene, E.
A Formal Specification of the PVM Architecture 1-gen-1994 Borger, Egon; Glaesser, U.
A Framework to Specify Database Update Views for Prolog 1-gen-1991 Borger, Egon; Demoen, B.
A high-level modular definition of the semantics of C# 1-gen-2005 Borger, Egon; Fruja, Ng; Gervasi, Vincenzo; Stark, Rf
A High-Level Specification for Mediators 1-gen-2006 M., Altenhofen; Borger, Egon; A., Friesen; J., Lemcke
A High-Level Specification for Mediators (Virtual Providers) 1-gen-2005 Altenhofen, M; Borger, Egon; Lemcke, J.
A High-Level Specification for Semantic Web Service Discovery Services 1-gen-2006 Borger, Egon
A logical operational semantics for full Prolog. Part I: Selection core and control 1-gen-1990 Borger, Egon
A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations 1-gen-1990 Borger, Egon
A logical operational semantics for full Prolog. Part III: Built-in predicates for files, terms, arithmetic and input-output 1-gen-1992 Borger, Egon
A Mathematical Definition of Full Prolog 1-gen-1995 Borger, Egon; Rosenzweig, D.
A Method for Verifiable and Validatable Business Process Modeling 1-gen-2008 Borger, Egon; B., Thalheim
A Model for Mathematical Analysis of Functional Logic Programs and their Implementations 1-gen-1994 Borger, Egon; LOPEZ FRAGUAS F., J; RODRIGUES ARTALEJO, M.
A Neural Abstract Machine 1-gen-2001 Borger, Egon; Sona, D.
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems 1-gen-1979 Borger, Egon