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
On Rational Trees - MaRDI portal

On Rational Trees

From MaRDI portal

Publication:3613340

Jump to:navigation, search

DOI10.1007/11874683_15zbMath1225.03046OpenAlexW1563289313MaRDI QIDQ3613340

Arnaud Carayol, Christophe Morvan

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_15

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Trees (05C05) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (3)

A decision procedure for (co)datatypes in SMT solvers ⋮ On Boolean closed full trios and rational Kripke frames ⋮ A Decision Procedure for (Co)datatypes in SMT Solvers

This page was built for publication: On Rational Trees

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