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
Calculi in which derivability is decidable by finite interpretations - MaRDI portal

Calculi in which derivability is decidable by finite interpretations

From MaRDI portal

Publication:1121677

Jump to:navigation, search

zbMath0674.68049MaRDI QIDQ1121677

A. V. Babichev

Publication date: 1988

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Horn theories derivability finite automata formal grammars formal languages decidability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: Calculi in which derivability is decidable by finite interpretations

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