91868953

Preferred Forms

100 1 _ ‎‡a Boerger, Egon‏ ‎‡d (1946- ).‏
100 1 _ ‎‡a Borger, Egon‏
200 _ | ‎‡a Börger‏ ‎‡b Egon‏ ‎‡f 1946-....‏
100 1 _ ‎‡a Börger, E.‏ ‎‡q (Egon),‏ ‎‡d 1946-‏
100 1 0 ‎‡a Börger, E.‏ ‎‡q (Egon),‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, E.‏ ‎‡q (Egon),‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, E.‏ ‎‡q (Egon),‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, Egon‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, Egon‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, Egon,‏ ‎‡d 1946-‏
100 1 _ ‎‡a Börger, Egon,‏ ‎‡d 1946-....‏
100 1 _ ‎‡a Börger, Egon‏
100 1 _ ‎‡a Börger, Egon‏
100 1 _ ‎‡a Börger, Egon‏
100 1 _ ‎‡a Börger, Egon,‏ ‎‡d 1946-‏
100 0 _ ‎‡a Egon Börger‏ ‎‡c German computer scientist‏

4xx's: Alternate Name Forms (17)

400 1 _ ‎‡a Boerger, Egon‏
400 1 _ ‎‡a Börger, E.‏ ‎‡d 1946-‏
400 1 _ ‎‡a Börger, Egon,‏ ‎‡d 1946-‏
400 1 0 ‎‡a Börger, Egon,‏ ‎‡d 1946-‏
400 1 _ ‎‡a Börger, E.‏
400 1 _ ‎‡a Börger, E.‏ ‎‡d 1946-‏
400 1 _ ‎‡a Börger, Egon‏
400 1 _ ‎‡a Börger, Egon.‏
400 1 _ ‎‡a Börger, Egon‏ ‎‡d 1946-‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c Computer scientist‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c Duits wiskundige‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c Informatiker‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c matematico e informatico tedesco‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c mathématicien‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c tysk matematiker, datavetare och ingenjör‏
400 0 _ ‎‡a Egon Börger‏ ‎‡c tysk matematiker, informatiker og ingeniør‏
400 0 _ ‎‡a ايغون بورجر‏

5xx's: Related Names (2)

Works

Title	Sources
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
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings
Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 revised tutorial lectures
ASM 2003
Berechenbarkeit, Komplexität, Logik.
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 '89 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
CSL'93
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
Modeling Companion for Software Practitioners
Reduktionstypen in Krom- und Hornformeln
Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday
Specification and validation methods
Structures of Computing A Guide to Practice-Oriented Theory
Subject-Oriented Business Process Management
Subjektorientiertes Prozessmanagement Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern
Trends in theoretical computer science
Zur Philosophie der mathematischen Erkenntnis

Selected Co-authors

Richter, Michael M., 1938- ‎(33)
Kleine, Büning Hans ‎(22)
Gurevich, Yuri ‎(17)
Grädel, Erich 1958-.... ‎(10)
Rödding, Dieter ‎(9)
Stärk, Robert F. 1963-....) ‎(8)
Riccobene, Elvinia ‎(8)
Workshop on Computer Science Logic ‎(7)
Schmid, Joachim 1974-....) ‎(6)
Langmaack, Hans. ‎(5)

Countries and Regions of Publication (6)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

DE - Germany (113)
NL - Netherlands (5)
US - United States (4)
GB - United Kingdom (2)
NC - (1)
CH - Switzerland (1)

Publication Statistics

Selected Publishers (10)

Springer-Verlag ‎(118)
North-Holland ‎(10)
Königshausen und Neumann ‎(7)
Vieweg ‎(6)
Computer Science Press ‎(6)
Clarendon press ‎(5)
North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co. ‎(3)
Springer-Verlag Berlin Heidelberg ‎(2)
Hanser, Carl ‎(2)
Springer Nature Switzerland ‎(1)

Record ID	Action	Time
NII\|DA10354826	delete	2010-07-26T05:00:25+00:00
LC\|n 84088209	add	2010-11-16T05:07:53+00:00
BIBSYS\|x90273148	delete	2012-11-27T04:00:16+00:00
DNB\|174088558	add	2012-12-19T19:11:18+00:00
BNF\|12306564	add	2012-12-19T19:11:18+00:00
NKC\|vut2011650029	add	2012-12-19T19:11:18+00:00
SUDOC\|031943195	add	2012-12-19T19:11:18+00:00
NTA\|070129460	add	2012-12-19T19:11:18+00:00
DNB\|107987864	delete	2012-12-19T19:11:18+00:00
LC\|n 96097124	delete	2013-02-15T19:30:59+00:00
LNB\|LNC10-000165944	add	2013-08-19T18:59:48+00:00
ISNI\|0000000121435327	add	2013-09-16T16:15:07+00:00
WKP\|Q3720507	add	2015-04-14T18:56:54+00:00
WKP\|Egon_Börger	delete	2015-04-14T18:56:54+00:00
NUKAT\|n 97010435	add	2016-07-11T14:20:52.682364+00:00
J9U\|987007447441705171	add	2020-02-02T18:21:46.631301+00:00
NLI\|002257688	delete	2020-04-12T13:52:54.927836+00:00
RERO\|vtls003064415	delete	2020-06-16T21:29:43.084203+00:00
RERO\|A003064415	add	2020-06-17T23:04:45.039042+00:00
CAOONL\|ncf12094736	add	2020-07-14T15:30:19.159644+00:00
BIBSYS\|90273148	add	2020-12-13T17:37:19.069041+00:00
NLA\|000035241144	add	2023-08-20T22:14:33.421776+00:00
NII\|DA01377208	delete	2024-08-04T05:49:39.252268+00:00
SZ\|174088558	add	2024-08-11T02:29:45.296163+00:00
KRNLK\|KAC202292991	delete	2024-12-01T04:03:01.197370+00:00

VIAF

Virtual International Authority File

Search

Börger, Egon, 1946-

Börger, Egon

Börger, E. (Egon), 1946-

Boerger, Egon (1946- ).

Egon Börger German computer scientist

VIAF ID: 91868953 (Personal)

Permalink: http://viaf.org/viaf/91868953

Preferred Forms

4xx's: Alternate Name Forms (17)

5xx's: Related Names (2)

Works

Selected Co-authors

Countries and Regions of Publication (6)

Publication Statistics

Publication History

Identifiers

Selected Publishers (10)

About

Personal Information

Gender : Male

Nationality or associated country:

Language:

External Links

Record Views

History of VIAF ID:91868953 (25)