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 binary operation on trees and an initial algebra characterization for finite tree types - MaRDI portal

A binary operation on trees and an initial algebra characterization for finite tree types

From MaRDI portal

Publication:1247420

Jump to:navigation, search

DOI10.1007/BF00264022zbMATH Open0379.02016MaRDI QIDQ1247420

Wolfgang Merzenich

Publication date: 1979

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Trees (05C05) Structure theory of algebraic structures (08A05) General logic (03B99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

This page was built for publication: A binary operation on trees and an initial algebra characterization for finite tree types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1247420)

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