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 Lambek Automaton - MaRDI portal

A Lambek Automaton

From MaRDI portal

Publication:3424117

Jump to:navigation, search

DOI10.1093/JIGPAL/JZL005zbMath1113.03034OpenAlexW1988773163MaRDI QIDQ3424117

Tatyana Veksler, Nissim Francez

Publication date: 15 February 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzl005

zbMATH Keywords

Lambek calculus formal languages hypothetical reasoning type-logical grammars automaton computations grammar derivations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05) Grammars and rewriting systems (68Q42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: A Lambek Automaton

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