System NEL is Undecidable

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

System NEL is Undecidable

Lutz StraßburgerLutz Straßburger

• Download

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

• Details
• Bibtex

• 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}
}