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
Some asymptotically optimal one-sided embeddings of trees of similar formulas into rectangular lattices - MaRDI portal

Some asymptotically optimal one-sided embeddings of trees of similar formulas into rectangular lattices (Q682220)

From MaRDI portal





scientific article; zbMATH DE number 6838068
Language Label Description Also known as
English
Some asymptotically optimal one-sided embeddings of trees of similar formulas into rectangular lattices
scientific article; zbMATH DE number 6838068

    Statements

    Some asymptotically optimal one-sided embeddings of trees of similar formulas into rectangular lattices (English)
    0 references
    0 references
    14 February 2018
    0 references
    The authors consider the problem of optimally placing trees of formulas in rectangular lattices. They construct and study two types of these trees and corresponding ways of placing (embedding) them into such lattices.
    0 references
    0 references
    embedding of trees
    0 references
    similar formulas
    0 references
    rectangular lattices
    0 references
    optimization according to height
    0 references

    Identifiers