Borger, Egon: search on Z-Library

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

Don't use scam websites

51

Ultrastructural calcium distribution and myocardial calcium content in human idiopathic dilated cardiomyopathy

Hans G. Olbrich, Hans Michaelis, Godelieve Vandeplassche, Marcel Borgers, Gerhard Oremek, Egon Krause, Peter Satter, Gisbert Kober, Ernst Mutschler, Martin Kaltenbach

Journal:

Cardiovascular Pathology

Year:

1993

Language:

english

File:

PDF, 6.27 MB

english, 1993

52

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Using HyTech to synthesize control parameters for a steam boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

53

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 808 KB

english, 1996

54

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || A First Attempt to Express KAOS Refinement Patterns with Event B

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

Year:

2008

Language:

english

File:

PDF, 57 KB

english, 2008

55

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On transitive closure logic

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

Year:

1992

Language:

english

File:

PDF, 898 KB

english, 1992

56

[Lecture Notes in Computer Science] Advances in Software Engineering Volume 5316 ||

Börger, Egon, Cisternino, Antonio

Year:

2008

Language:

english

File:

PDF, 4.24 MB

english, 2008

57

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || On the Purpose of Event-B Proof Obligations

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

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

58

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Steam-boiler control specification problem

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 551 KB

english, 1996

59

Modeling web applications infrastructure with ASMs

Gervasi, Vincenzo, Börger, Egon, Cisternino, Antonio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

60

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 473 KB

english, 2003

61

Modelli Sintattici e Semantici delle Teorie Elementari.by Maria Luisa Dalla Chiara Scabia

Review by: Egon Börger

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 105 KB

english, 1975

62

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Short proofs of tautologies using the schema of equivalence

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

Year:

1994

Language:

english

File:

PDF, 142 KB

english, 1994

63

[Lecture Notes in Computer Science] CSL '87 Volume 329 || On functions computable in nondeterministic polynomial time: Some characterizations

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 984 KB

english, 1988

64

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Toward logic tailored for computational complexity

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

Year:

1984

Language:

english

File:

PDF, 1.41 MB

english, 1984

65

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Experiments with Test Case Generation and Runtime Analysis

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 263 KB

english, 2003

66

[Lecture Notes in Computer Science] CSL '88 Volume 385 || A comparison of the resolution calculus and the connection method, and a new calculus generalizing both methods

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 1022 KB

english, 1989

67

[Lecture Notes in Computer Science] Computation Theory and Logic Volume 270 || A concatenation game and the dot-depth hierarchy

Year:

1987

Language:

english

File:

PDF, 662 KB

english, 1987

68

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || Verification and Validation of Web Service Composition Using Event B Method

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

Year:

2008

Language:

english

File:

PDF, 59 KB

english, 2008

69

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Proving termination for term rewriting systems

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

Year:

1992

Language:

english

File:

PDF, 539 KB

english, 1992

70

[Lecture Notes in Computer Science] Computer Science Logic Volume 533 || Towards an efficient tableau proof procedure for multiple-valued logics

Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang

Year:

1991

Language:

english

File:

PDF, 773 KB

english, 1991

71

Conservative reduction classes of Krom formulas

Aanderaa, Stål O., Börger, Egon, Lewis, Harry R.

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 1.27 MB

english, 1982

72

Architecture Design and Validation Methods || Modular Design for the Java Virtual Machine Architecture

Year:

2000

Language:

english

File:

PDF, 5.66 MB

english, 2000

73

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Using ASM Specifications for Compiler Testing

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 38 KB

english, 2003

74

[Lecture Notes in Computer Science] CSL '87 Volume 329 || Logic of approximation reasoning

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 1.08 MB

english, 1988

75

Dijkstra Edsger W. and Scholten Carel S.. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 718 KB

english, 1994

76

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

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

Year:

2008

Language:

english

File:

PDF, 436 KB

english, 2008

77

Subject-Oriented Business Process Management ||

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

Year:

2012

Language:

english

File:

PDF, 25.68 MB

english, 2012

78

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Abstract recursion as a foundation for the theory of algorithms

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

Year:

1984

Language:

english

File:

PDF, 2.89 MB

english, 1984

79

[ACM Press Workshop proceedings of the sixth international conference - Palo Alto, California (2006.07.10-2006.07.14)] Workshop proceedings of the sixth international conference on Web engineering - ICWE '06 - A high-level specification for Semantic Web Service Discovery Services

Friesen, Andreas, Börger, Egon

Year:

2006

Language:

english

File:

PDF, 226 KB

english, 2006

80

[ACM Press the 2003 ACM symposium - Melbourne, Florida (2003.03.09-2003.03.12)] Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 - Modeling the meaning of transitions from and to concurrent states in UML state machines

Börger, Egon, Cavarra, Alessandra, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 700 KB

english, 2003

81

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Comparing the theory of representations and constructive mathematics

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

Year:

1992

Language:

english

File:

PDF, 750 KB

english, 1992

82

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || An algebraic specification of the Steam-Boiler Control System

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.73 MB

english, 1996

83

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || “The semantics of the C programming language”

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

Year:

1994

Language:

english

File:

PDF, 161 KB

english, 1994

84

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Incorporating generalized quantifiers and the least fixed point operator

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

Year:

1994

Language:

english

File:

PDF, 996 KB

english, 1994

85

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Partial closures and semantics of while: Towards an iteration-based theory of data types

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

Year:

1984

Language:

english

File:

PDF, 524 KB

english, 1984

86

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || A star-finite relational semantics for parallel programs

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

Year:

1984

Language:

english

File:

PDF, 409 KB

english, 1984

87

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Finitely approximable sets

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

Year:

1984

Language:

english

File:

PDF, 834 KB

english, 1984

88

[Lecture Notes in Computer Science] CSL '88 Volume 385 || On the emptiness problem of tree automata and completeness of modal logics of programs

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 550 KB

english, 1989

89

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || A VDM specification of the steam-boiler problem

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.88 MB

english, 1996

90

[Lecture Notes in Computer Science] CSL '88 Volume 385 || A remark on minimal polynomials of Boolean functions

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 497 KB

english, 1989

91

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The real-time behavior of the steam-boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

92

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Complexity results for the default- and the autoepistemic logic

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

Year:

1992

Language:

english

File:

PDF, 802 KB

english, 1992

93

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Contiguous R.E. Degrees

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

Year:

1984

Language:

english

File:

PDF, 1.44 MB

english, 1984

94

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || The model theory of concurrency

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

Year:

1994

Language:

english

File:

PDF, 820 KB

english, 1994

95

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Process algebra with combinators

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

Year:

1994

Language:

english

File:

PDF, 1.33 MB

english, 1994

96

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || The complexity of set constraints

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

Year:

1994

Language:

english

File:

PDF, 1017 KB

english, 1994

97

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || A Horn clause that implies an undecidable set of Horn clauses

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

Year:

1994

Language:

english

File:

PDF, 1018 KB

english, 1994

98

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || On the reasons for average superlinear speedup in parallel backtrack search

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

Year:

1994

Language:

english

File:

PDF, 928 KB

english, 1994

99

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Negation as inconsistency in PROLOG via intuitionistic logic

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

Year:

1994

Language:

english

File:

PDF, 508 KB

english, 1994

100

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Approximable minimization problems and optimal solutions on random inputs

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

Year:

1994

Language:

english

File:

PDF, 571 KB

english, 1994