Browse wiki

From International Center for Computational Logic
Lutz Straßburger +
@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}
}
Inproceedings  +
10th Workshop on Logic, Language, Information and Computation (WoLLIC)  +
Strassburger:03:01.pdf  +
Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo  +
Straßburger  +
Lutz Straßburger<br/> '''[[WVPub43|<b>System NEL is Undecidable</b>]]'Lutz Straßburger<br/> '''[[WVPub43|<b>System NEL is Undecidable</b>]]''' <br/>__NOTOC__In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., <i>10th Workshop on Logic, Language, Information and Computation (WoLLIC)</i>, volume 84 of Electronic Notes in Theoretical Computer Science, 2003<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub43|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Strassburger:03:01.pdf|Download]]rassburger:03:01.pdf|Download]]  +
Lutz Straßburger<br/> '''[[WVPub43/en|<b>System NEL is Undecidable</b>]]'Lutz Straßburger<br/> '''[[WVPub43/en|<b>System NEL is Undecidable</b>]]''' <br/>__NOTOC__In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., <i>10th Workshop on Logic, Language, Information and Computation (WoLLIC)</i>, volume 84 of Electronic Notes in Theoretical Computer Science, 2003<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub43|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Strassburger:03:01.pdf|Download]]rassburger:03:01.pdf|Download]]  +
Electronic Notes in Theoretical Computer Science  +
System NEL is Undecidable  +
inproceedings  +
84  +
2003  +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
System NEL is Undecidable  +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
13. April 2015, 13:07:34  +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.