Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Jörg Denzinger: Publications

Publications of Jörg Denzinger

Since for most of my contributions to books or conferences I had to transfer my copyright to the publisher, I cannot make them directly available through my web pages. But I can send them to you upon request. Please excuse this inconvenience!

The publications in each category (contributions to books and journals, papers in conference proceedings, internal reports) are ordered with respect to publication date, newest ones first.

Articles in books and journals:

Articles in conference proceedings

Internal reports

Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!

Letzte Änderung: Wednesday, 26-Oct-05 08:59:20 GMT