E. Börger

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2

2006

Logic and Machines: Decision Problems and Complexity

1984

CSL '89

1990

Computability, complexity, logic

1989

Zur Philosophie der mathematischen Erkenntnis

1981

Trends in theoretical computer science

1988

The classical decision problem

1997

Specification and validation methods

1995

Formal methods for industrial applications

1996

CSL '88

1989

Csl 87

1988

Computation theory and logic

1987

Berechenbarkeit, Komplexität, Logik

1985

Architecture design and validation methods

2000

Abstract state machines 2003

2003