E. Börger profile picture

E. Börger

Is this your author profile? Create an account to customize it!

Stand Alone

Computation theory and logic
Abstract state machines 2003
Trends in theoretical computer science
Proceedings Duisburg, FRG, October 3 - 7, 1988. 2. 1988
Logic and Machines: Decision Problems and Complexity
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science)
CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings