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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:4037331

Jump to:navigation, search

zbMath0787.68058MaRDI QIDQ4037331

Detlef Plump

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness term rewriting graph reduction

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Related Items (7)

Modularity of termination in term graph rewriting ⋮ Implementing term rewriting by jungle evaluation ⋮ Unnamed Item ⋮ GETGRATS ⋮ Modular aspects of term graph rewriting ⋮ Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ Modeling and Verifying Graph Transformations in Proof Assistants

This page was built for publication:

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