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
Trees in partial higher dimensional automata - MaRDI portal

Trees in partial higher dimensional automata

From MaRDI portal

Publication:2289075

Jump to:navigation, search

DOI10.1007/978-3-030-17127-8_13OpenAlexW2962807109MaRDI QIDQ2289075

Jérémy Dubut

Publication date: 28 January 2020

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

zbMATH Keywords

trees higher dimensional automata homotopy theories

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Strictifying and taming directed paths in Higher Dimensional Automata

This page was built for publication: Trees in partial higher dimensional automata

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