Claus Sengler

According to our database, Claus Sengler authored at least 5 papers between 1993 and 1997.

Collaborative distances:

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

1997

Induction on non-freely generated data types.

Claus Sengler

DISKI 160, Infix, ISBN: 978-3-89601-160-2, 1997

1996

Deduction in the Verification Support Environment (VSE).

Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Termination of Algorithms over Non-freely Generated Data Types.

Claus Sengler

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

INKA: The Next Generation.

Dieter Hutter, Claus Sengler

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1993

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.

Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver

Proceedings of the Verläßliche Informationssysteme, 1993