sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000121435327 | 1 hits
Person
ISNI: 
0000 0001 2143 5327
Name: 
Boerger, E.
Boerger, Egon
Börger, E.
Börger, Egon
Egon Börger
Egon Börger (Computer scientist)
Egon Börger (Duits wiskundige)
Egon Börger (matematico e informatico tedesco)
Dates: 
1946-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
writer of accompanying material
Related names: 
Grädel, Erich (1958-...)
Gurevich, Yuri
Kleine Büning, H.
Kleine Büning, Hans
Kleine Büning, Hans (1948-...)
Langmaack, Hans
Riccobene, Elvinia
Richter, Michael M. (1938-...)
Rödding, Dieter
Schmid, Joachim (1974-....))
Stärk, Robert (1963-)
Stärk, Robert F. (1963-....))
Stärk, Robert F. (1963-)
Titles: 
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
Abstract state machines : a method for high-level system design and analysis
Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures
ASM 2003
Berechenbarkeit, Komplexität, Logik eine einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
classical decision problem
Computability, complexity, logic
Computation theory and logic
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Formal methods for industrial applications : specifying and programming the steam boiler control
Java and the Java virtual machine : definition, verification, validation
Logic and machines: decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Reduktionstypen in Krom- und Hornformeln. -
Specification and validation methods
Trends in theoretical computer science
Zur Philosophie der mathematischen Erkenntnis
Notes: 
Sources: 
VIAF DNB LC LNB NKC SUDOC WKD
BOWKER
NTA
TEL