System NEL is Undecidable
Aus International Center for Computational Logic
System NEL is Undecidable
Lutz StraßburgerLutz Straßburger
Lutz Straßburger
System NEL is Undecidable
In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., 10th Workshop on Logic, Language, Information and Computation (WoLLIC), volume 84 of Electronic Notes in Theoretical Computer Science, 2003
System NEL is Undecidable
In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., 10th Workshop on Logic, Language, Information and Computation (WoLLIC), volume 84 of Electronic Notes in Theoretical Computer Science, 2003
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{S2003,
author = {Lutz Stra{\ss}burger},
title = {System {NEL} is Undecidable},
editor = {Ruy De Queiroz and Elaine Pimentel and Luc{\i}{\'}lia Figueiredo},
booktitle = {10th Workshop on Logic, Language, Information and Computation
(WoLLIC)},
series = {Electronic Notes in Theoretical Computer Science},
volume = {84},
year = {2003}
}