Sciweavers

    16430 search results - page 238 / 3286
    » On Computable Tree Functions
    Sort
    View
    LICS
    2007
    IEEE
    80views Automated Reasoning» more  LICS 2007»
    Two-way unary temporal logic over trees
    15 years 10 months ago
    Two-way unary temporal logic over trees
    Download  www.mimuw.edu.pl
    Mikolaj Bojanczyk
    claim paper
    Read More »
    ICALP
    2007
    Springer
    97views Programming Languages» more  ICALP 2007»
    Unranked Tree Automata with Sibling Equalities and Disequalities
    15 years 10 months ago
    Unranked Tree Automata with Sibling Equalities and Disequalities
    Download  www-i7.informatik.rwth-aachen.de
    Karianto Wong, Christof Löding
    claim paper
    Read More »
    ICTAC
    2007
    Springer
    96views Applied Computing» more  ICTAC 2007»
    A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
    15 years 10 months ago
    A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
    Download  gpd.sip.ucm.es
    Rafael del Vado Vírseda
    claim paper
    Read More »
    CIE
    2005
    Springer
    98views Applied Computing» more  CIE 2005»
    Finite Trees as Ordinals
    15 years 10 months ago
    Finite Trees as Ordinals
    Download  heim.ifi.uio.no
    Herman Ruge Jervell
    claim paper
    Read More »
    GD
    2005
    Springer
    87views Computer Graphics» more  GD 2005»
    On Balloon Drawings of Rooted Trees
    15 years 10 months ago
    On Balloon Drawings of Rooted Trees
    Download  jgaa.info
    Chun-Cheng Lin, Hsu-Chun Yen
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.