Sciweavers

    433 search results - page 6 / 87
    » On stabilizers of infinite words
    Sort
    View
    TACAS
    2005
    Springer
    86views Algorithms» more  TACAS 2005»
    Complementation Constructions for Nondeterministic Automata on Infinite Words
    15 years 11 months ago
    Complementation Constructions for Nondeterministic Automata on Infinite Words
    Download  www.cs.huji.ac.il
    Orna Kupferman, Moshe Y. Vardi
    claim paper
    Read More »
    CONCUR
    2006
    Springer
    89views Distributed And Parallel Com...» more  CONCUR 2006»
    Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
    15 years 9 months ago
    Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
    Download  www.cs.huji.ac.il
    Orna Kupferman, Sarai Sheinvald-Faragy
    claim paper
    Read More »
    CORR
    2010
    Springer
    75views Education» more  CORR 2010»
    Rankers over Infinite Words
    15 years 6 months ago
    Rankers over Infinite Words
    Download  www.fmi.uni-stuttgart.de
    Luc Dartois, Manfred Kufleitner, Alexander Lauser
    claim paper
    Read More »
    EJC
    2008
    85views Information Technology» more  EJC 2008»
    Characterizations of finite and infinite episturmian words via lexicographic orderings
    15 years 6 months ago
    Characterizations of finite and infinite episturmian words via lexicographic orderings
    Download  www.ru.is
    Amy Glen, Jacques Justin, Giuseppe Pirillo
    claim paper
    Read More »
    AML
    2004
    52views more  AML 2004»
    Effectiveness for infinite variable words and the Dual Ramsey Theorem
    15 years 5 months ago
    Effectiveness for infinite variable words and the Dual Ramsey Theorem
    Download  www.math.uconn.edu
    We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
    Joseph S. Miller, Reed Solomon
    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.