Börger, Egon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Predicate calculus and program semantics: E.W. Dijkstra and C.S. Scholten, (Springer, Berlin, 1989)

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 975 KB

english, 1994

2

The equivalence of Horn and network complexity for Boolean functions

Stal O. Anderaa, Egon Börger

Journal:

Acta Informatica

Year:

1981

Language:

english

File:

PDF, 268 KB

english, 1981

3

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 283 KB

english, 2012

4

Java and the Java Virtual Machine ||

Stärk, Robert F., Schmid, Joachim, Börger, Egon

Year:

2001

Language:

english

File:

PDF, 27.41 MB

english, 2001

5

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 ||

Börger, Egon, Butler, Michael, Bowen, Jonathan P., Boca, Paul

Year:

2008

Language:

english

File:

PDF, 7.30 MB

english, 2008

6

Abstract State Machines ||

Börger, Egon, Stärk, Robert

Year:

2003

Language:

english

File:

PDF, 4.55 MB

english, 2003

7

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || From semantics to rules: A machine assisted analysis

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 792 KB

english, 1994

8

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Petri nets and the equivalence problem

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 610 KB

english, 1994

9

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Logical aspects of set constraints

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

10

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 756 KB

english, 1992

11

[ACM Press the 7th International Conference - Kiel, Germany (2015.04.23-2015.04.24)] Proceedings of the 7th International Conference on Subject-Oriented Business Process Management - S-BPM ONE '15 - Abstract state machine nets

Börger, Egon, Fleischmann, Albert

Year:

2015

Language:

english

File:

PDF, 638 KB

english, 2015

12

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Undecidability and recursive equivalence II

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 842 KB

english, 1984

13

Concurrent abstract state machines

Börger, Egon, Schewe, Klaus-Dieter

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 561 KB

english, 2016

14

Modeling Companion for Software Practitioners ||

Börger, Egon, Raschke, Alexander

Year:

2018

Language:

english

File:

PDF, 4.66 MB

english, 2018

15

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 870 KB

english, 1992

16

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ν, ⊃, λ, ∀, ε

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 1.49 MB

english, 1984

17

Eine Entscheidbare Klasse Von Kromformeln

Journal:

Mathematical Logic Quarterly

Year:

1973

Language:

german

File:

PDF, 255 KB

german, 1973

18

A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems

Journal:

Mathematical Logic Quarterly

Year:

1979

Language:

english

File:

PDF, 1.84 MB

english, 1979

19

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

Egon Börger, Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 684 KB

english, 1980

20

A mathematical definition of full Prolog

Egon Börger, Dean Rosenzweig

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 2.30 MB

english, 1995

21

The reachability problem for Petri nets and decision problems for Skolem arithmetic

Egon Börger, Hans Kleine Büning

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.41 MB

english, 1980

22

On formalizing UML state machines using ASMs

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Journal:

Information and Software Technology

Year:

2004

Language:

english

File:

PDF, 114 KB

english, 2004

23

A high-level modular definition of the semantics of

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 580 KB

english, 2005

24

Refinement of a typed WAM extension by polymorphic order-sorted types

Christoph Beierle, Egon Börger

Journal:

Formal Aspects of Computing

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

25

Specification and correctness proof of a WAM extension with abstract type constraints

Christoph Beierle, Egon Börger

Journal:

Formal Aspects of Computing

Year:

1996

Language:

english

File:

PDF, 1.68 MB

english, 1996

26

Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

Journal:

Archive for Mathematical Logic

Year:

1978

Language:

german

File:

PDF, 208 KB

german, 1978

27

Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Journal:

Archive for Mathematical Logic

Year:

1974

Language:

german

File:

PDF, 1.20 MB

german, 1974

28

Diem-Grade Logischer Entscheidungsprobleme

Egon Börger, Klaus Heidler

Journal:

Archive for Mathematical Logic

Year:

1975

Language:

german

File:

PDF, 458 KB

german, 1975

29

Prefix classes of krom formulae with identity

Stal O. Aanderaa, Egon Börger, Yuri Gurevich

Journal:

Archive for Mathematical Logic

Year:

1980

Language:

english

File:

PDF, 347 KB

english, 1980

30

The ASM Refinement Method

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 225 KB

english, 2003

31

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

32

Editorial

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 44 KB

english, 2011

33

Abstract State Machines: a unifying view of models of computation and of system design frameworks

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 248 KB

english, 2005

34

Abstract state machines and high-level system design and analysis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 127 KB

english, 2005

35

Initialization problems for Java

Egon Börger, Wolfram Schulte

Journal:

Software - Concepts & Tools

Year:

2000

Language:

english

File:

PDF, 139 KB

english, 2000

36

Ambient Abstract State Machines with applications

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 659 KB

english, 2012

37

Subject-Oriented Business Process Management || The Integrated S-BPM Process Model

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.37 MB

english, 2012

38

Subject-Oriented Business Process Management || Subject-Oriented Validation of Processes and Process Models

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.65 MB

english, 2012

39

Subject-Oriented Business Process Management || Subject-Oriented Optimization of Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.01 MB

english, 2012

40

Subject-Oriented Business Process Management || Organization-Specific Implementation of Subject-Oriented Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.35 MB

english, 2012

41

Subject-Oriented Business Process Management || Thinking of Business Processes Systematically

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 920 KB

english, 2012

42

Subject-Oriented Business Process Management || From Language Acquisition to Subject-Oriented Modeling

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.63 MB

english, 2012

43

Subject-Oriented Business Process Management || Subject-Oriented Process Analysis

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

44

Subject-Oriented Business Process Management || Subject-Oriented Monitoring of Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.65 MB

english, 2012

45

Subject-Oriented Business Process Management || Tools for S-BPM

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 3.35 MB

english, 2012

46

Subject-Oriented Business Process Management || Modeling Processes in a Subject-Oriented Way

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 5.64 MB

english, 2012

47

Subject-Oriented Business Process Management || IT-Implementation of Subject-Oriented Business Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

48

Subject-Oriented Business Process Management || A Precise Description of the S-BPM Modeling Method

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

49

Subject-Oriented Business Process Management || S-BPM Method by Comparison

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.51 MB

english, 2012

50

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

Börger, Egon, Butler, Michael, Bowen, Jonathan P., Boca, Paul

Year:

2008

Language:

english

File:

PDF, 440 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски