( en | de | ru )

 

Disambiguation of "Börger, Egon"

Author of the publication

copydeleteadd this publication to your clipboard
Correctness Proof for the WAM

, and . IWBS Report, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Egon Börger

Helmut Börger

Udo Börger

Hans Börger

Alfried Börger

 

Other publications of authors with the same name

The ASM Method: a Cornerstone in Computer Science Education.. Abstract State Machines, page 49-56. (2005)Specifying Transaction Control to Serialize Concurrent Program Executions., and . CoRR, (2017)On formalizing UML state machines using ASM., , and . Inf. Softw. Technol., 46 (5): 287-292 (2004)Why Use Evolving Algebras for Hardware and Software Engineering?. SOFSEM, volume 1012 of Lecture Notes in Computer Science, page 236-271. Springer, (1995)A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.. CSL, volume 440 of Lecture Notes in Computer Science, page 36-64. Springer, (1989)Design for Reuse via Structuring Techniques for ASMs.. EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 20-35. Springer, (2001)Fondamenti di informatica., and . ETS Editrice, (1988)A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras, and . IWBS Report, (1990)Complexity of Logical Decision Problems: An Introduction. IWBS Report, (1990)Full Prolog in a Nutshell., and . ICLP, page 832. MIT Press, (1993)