Browse wiki
From International Center for Computational Logic
Alessio Guglielmi + and Lutz Straßburger +
@inproceedings{GS2001,
author = {Alessio Guglielmi and Lutz Stra{\ss}burger},
title = {Non-commutativity and {MELL} in the Calculus of Structures},
editor = {L. Fribourg},
booktitle = {Proceedings of the Annual Conference of the European Association
for Computer Science Logic, {CSL} '01},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
year = {2001},
pages = {54-68}
}
author = {Alessio Guglielmi and Lutz Stra{\ss}burger},
title = {Non-commutativity and {MELL} in the Calculus of Structures},
editor = {L. Fribourg},
booktitle = {Proceedings of the Annual Conference of the European Association
for Computer Science Logic, {CSL} '01},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
year = {2001},
pages = {54-68}
}
Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01 +
Guglielmi +
Alessio +
Alessio Guglielmi, Lutz Straßburger<br/ … Alessio Guglielmi, Lutz Straßburger<br/> '''[[WVPub319|<b>Non-commutativity and MELL in the Calculus of Structures</b>]]''' <br/>__NOTOC__In L. Fribourg, eds., <i>Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01</i>, Lecture Notes in Computer Science, 54-68, 2001. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub319|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Guglielmi:01:wv04.pdf|Download]]Guglielmi:01:wv04.pdf|Download]] +
Alessio Guglielmi, Lutz Straßburger<br/ … Alessio Guglielmi, Lutz Straßburger<br/> '''[[WVPub319/en|<b>Non-commutativity and MELL in the Calculus of Structures</b>]]''' <br/>__NOTOC__In L. Fribourg, eds., <i>Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01</i>, Lecture Notes in Computer Science, 54-68, 2001. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub319|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Guglielmi:01:wv04.pdf|Download]]Guglielmi:01:wv04.pdf|Download]] +
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>.
Non-commutativity and MELL in the Calculus of Structures +
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:37 +
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>.
Non-commutativity and MELL in the Calculus of Structures +, Non-commutativity and MELL in the Calculus of Structures +, Non-commutativity and MELL in the Calculus of Structures +, Non-commutativity and MELL in the Calculus of Structures +, Non-commutativity and MELL in the Calculus of Structures + and Non-commutativity and MELL in the Calculus of Structures +
