Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006
    URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11132
    DBLP: db/conf/lics/lics2006.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 47  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Mikolaj Bojanczyk, Thomas Colcombet.
    Bounds in w-Regularity.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Filippo Bonchi, Barbara König, Ugo Montanari.
    Saturated Semantics for Reactive Systems.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Thomas Ball, Orna Kupferman.
    An Abstraction-Refinement Framework for Multi-Agent Systems.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Adam Barth, John C. Mitchell.
    Managing Digital Rights using Linear Logic.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Andreas Blass.
    Adapting Logics.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David.
    Two-Variable Logic on Words with Data.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier.
    Control in o-minimal Hybrid Systems.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Randal E. Bryant.
    Formal Verification of Infinite State Systems Using Boolean Methods.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Laura Chaubard, Jean-Éric Pin, Howard Straubing.
    First Order Formulas with Modular Ppredicates.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Thierry Coquand, Arnaud Spiwack.
    A Proof of Strong Normalisation using Domain Theory.
    21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Show item 1 to 10 of 47  

    Your query returned 47 matches in the database.