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
A decision procedure for semantical equivalence of thin FM specifications - MaRDI portal

A decision procedure for semantical equivalence of thin FM specifications

From MaRDI portal

Publication:1818643

Jump to:navigation, search

DOI10.1016/S0022-4049(99)00120-6zbMath0937.18008WikidataQ127740920 ScholiaQ127740920MaRDI QIDQ1818643

Eric Steegmans, Frank Piessens

Publication date: 30 May 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

undecidability relational database specification logic metafinite structures semantical equivalence sketch-based data specifications

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Categorical semantics of formal languages (18C50) Functor categories, comma categories (18A25) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: A decision procedure for semantical equivalence of thin FM specifications

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