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
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming - MaRDI portal

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming

From MaRDI portal

Publication:3430667

Jump to:navigation, search

DOI10.1017/S147106840600281XzbMath1112.68022MaRDI QIDQ3430667

Ivan Lanese, Ugo Montanari

Publication date: 23 March 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programming mobility graph transformation Fusion calculus fusion calculus semantics Synchronized Hyperedge Replacement

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A Category of Explicit Fusions

This page was built for publication: Mapping Fusion and Synchronized Hyperedge Replacement into logic programming

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