Gerhard Tobermann

According to our database, Gerhard Tobermann authored at least 5 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Algorithmic Debugging and Hypothetical Reasoning.

Clemens Beckstein, Gerhard Tobermann

Autom. Softw. Eng., 1997

1995

Algorithmic Debugging with RISC.

Gerhard Tobermann, Clemens Beckstein

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Verallgemeinerte Hornklausellogik: vom logischen Kalkül zum Logik-Programmiersystem.

Gerhard Tobermann

PhD thesis, 1994

1993

What's in a Trace: The Box Model Revisited.

Gerhard Tobermann, Clemens Beckstein

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

Evolutionary Logic Programming with RISC.

Clemens Beckstein, Gerhard Tobermann

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992