System NEL is Undecidable

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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