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
Tree-definable linear orders - MaRDI portal

Tree-definable linear orders

From MaRDI portal

Publication:1300332

Jump to:navigation, search

DOI10.1023/A:1006165114181zbMath0934.06003MaRDI QIDQ1300332

Clemens Lautemann

Publication date: 7 September 1999

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

algorithm computational complexity linear order descriptional complexity tree traversal avoided patterns depth-first traversal of a binary tree transitive closure logic

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Total orders (06A05) Descriptive complexity and finite models (68Q19)

This page was built for publication: Tree-definable linear orders

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