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
Interaction Graphs - MaRDI portal

Interaction Graphs

From MaRDI portal

Publication:4691740

Jump to:navigation, search

DOI10.1145/3226594zbMath1407.68193arXiv1609.07895OpenAlexW2962736508MaRDI QIDQ4691740

Thomas Seiller

Publication date: 24 October 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.07895

zbMATH Keywords

automata linear logic dynamic semantics implicit computational complexity measurable dynamics interaction graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Interaction Graphs

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