| 2000 |
| 9 | | Erika F. de Lima,
Christoph Lingenfelder:
Presentation of proofs in modal natural deduction.
J. Log. Comput. 10(4): 527-572 (2000) |
| 1996 |
| 8 | | Erika F. de Lima,
Christoph Lingenfelder:
Optimizing the Presentation of Modal Natural Deduction Proofs.
ECAI 1996: 365-369 |
| 1994 |
| 7 | | Stefan Decker,
Christoph Lingenfelder:
Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung.
WLP 1994: 61-64 |
| 1993 |
| 6 | EE | Christoph Lingenfelder,
Sven Lorenz:
Knowledge-based security administration in a distributed environment.
CASCON 1993: 648-660 |
| 1992 |
| 5 | | Stefan Decker,
Christoph Lingenfelder:
Universally Quantified Queries in Language with Order-Sorted Logics.
GWAI 1992: 267-271 |
| 4 | | Christoph Lingenfelder,
Astrid Schmücker-Schend:
Using Knowledge-Based Methods to Administrate an Access Control System
IWBS Report 222: (1992) |
| 3 | | Freimut Bodendorf,
Manfred Broy,
Herbert Burkert,
Albert Endres,
Herbert Fiedler,
V. Ilzhöfer,
H. Kappus,
Christoph Lingenfelder,
C. Müller,
Franz Stetter:
Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.
Informatik Spektrum 15(2): 89-100 (1992) |
| 1991 |
| 2 | | Christoph Lingenfelder,
Axel Präcklein:
Proof Transformation with Built-in Equality Predicate.
IJCAI 1991: 165-171 |
| 1989 |
| 1 | | Christoph Lingenfelder:
Structuring Computer Generated Proofs.
IJCAI 1989: 378-383 |