Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
An Explicit Framework for Interaction Nets - MaRDI portal

An Explicit Framework for Interaction Nets

From MaRDI portal

Publication:5894003

Jump to:navigation, search

DOI10.2168/LMCS-6(4:6)2010zbMath1211.68229MaRDI QIDQ5894003

Marc de Falco

Publication date: 20 December 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

graph rewriting linear logic geometry of interaction interaction nets

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: An Explicit Framework for Interaction Nets

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5894003&oldid=16124436"