The Undecidability of System NEL
From International Center for Computational Logic
The Undecidability of System NEL
Lutz StraßburgerLutz Straßburger
Lutz Straßburger
The Undecidability of System NEL
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-05, 2003
The Undecidability of System NEL
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-05, 2003
- Forschungsgruppe:Research Group: Wissensverarbeitung
@techreport{S2003,
author = {Lutz Stra{\ss}burger},
title = {The Undecidability of System {NEL}},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2003}
}