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:4037315

Jump to:navigation, search

zbMath0765.68087MaRDI QIDQ4037315

Hartmut Ehrig, Francesco Parisi-Presicce

Publication date: 18 May 1993

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

zbMATH Keywords

derivations algebraic specifications graph grammars Church-Rosser theorem productions module specifications algebraic specification grammars match theorem modular system design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

Canonical derivations for high-level replacement systems ⋮ On the correctness of modular systems ⋮ Basic Results for Two Types of High-Level Replacement Systems

This page was built for publication:

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