Semantisches Browsen
Aus International Center for Computational Logic
@inproceedings{S2002,
author = {Lutz Stra{\ss}burger},
title = {A Local System for Linear Logic},
editor = {Matthias Baaz and Andrei Voronkov},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
{LPAR} 2002},
series = {Lecture Notes in Artificial Intelligence},
volume = {2514},
publisher = {Springer},
year = {2002},
pages = {388-402}
}
author = {Lutz Stra{\ss}burger},
title = {A Local System for Linear Logic},
editor = {Matthias Baaz and Andrei Voronkov},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
{LPAR} 2002},
series = {Lecture Notes in Artificial Intelligence},
volume = {2514},
publisher = {Springer},
year = {2002},
pages = {388-402}
}
Straßburger +
Lutz +
Lutz Straßburger<br/> '''[[WVPub238|<b>A Local System for Linear Logic</b>]]' … Lutz Straßburger<br/> '''[[WVPub238|<b>A Local System for Linear Logic</b>]]''' <br/>__NOTOC__In Matthias Baaz and Andrei Voronkov, eds., <i>Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002</i>, volume 2514 of Lecture Notes in Artificial Intelligence, 388-402, 2002. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub238|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Strassburger:02:wv01.pdf|Download]]rassburger:02:wv01.pdf|Download]] +
Lutz Straßburger<br/> '''[[WVPub238/en|<b>A Local System for Linear Logic</b>]]' … Lutz Straßburger<br/> '''[[WVPub238/en|<b>A Local System for Linear Logic</b>]]''' <br/>__NOTOC__In Matthias Baaz and Andrei Voronkov, eds., <i>Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002</i>, volume 2514 of Lecture Notes in Artificial Intelligence, 388-402, 2002. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub238|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Strassburger:02:wv01.pdf|Download]]rassburger:02:wv01.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
A Local System for Linear Logic +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
13. April 2015, 13:07:37 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
