Claus Sengler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1996–1996
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | CADE | INKA: The Next Generation. | Dieter Hutter, Claus Sengler |
| 1996 | CADE | Termination of Algorithms over Non-freely Generated Data Types. | Claus Sengler |
| 1996 | FM | Deduction in the Verification Support Environment (VSE). | Dieter Hutter, Bruno Langenstein, Claus Sengler, Jrg H. Siekmann, Werner Stephan, Andreas Wolpers |