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; zbMATH DE number 465525 - MaRDI portal

scientific article; zbMATH DE number 465525

From MaRDI portal

Publication:4271920

Jump to:navigation, search

zbMath0788.03011MaRDI QIDQ4271920

Sauro Tulipani, G. Marongiu

Publication date: 12 December 1993

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

zbMATH Keywords

rational trees infinite trees term algebras with subterm relation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Decidability of theories and sets of sentences (03B25)

Related Items (1)

\(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation

This page was built for publication:

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