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
Graph Transformation Systems in CHR - MaRDI portal

Graph Transformation Systems in CHR

From MaRDI portal

Publication:3608658

Jump to:navigation, search

DOI10.1007/978-3-540-74610-2_17zbMath1213.68165OpenAlexW1837415053MaRDI QIDQ3608658

Frank Raiser

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (1)

Strong Joinability Analysis for Graph Transformation Systems in CHR

This page was built for publication: Graph Transformation Systems in CHR

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