Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008
    URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4557886
    DBLP: db/conf/lics/lics2008.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 42  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui.
    From Axioms to Analytic Rules in Nonclassical Logics.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies.
    From Automatic Structures to Borel Structures.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Marcelo P. Fiore.
    Second-Order and Dependently-Sorted Abstract Syntax.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Guillaume Burel.
    A First-Order Representation of Pure Type Systems Using Superdeduction.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Olivier Delande, Dale Miller 0001.
    A Neutral Approach to Proof and Refutation in MALL.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Dexter Kozen.
    Nonlocal Flow of Control and Kleene Algebra with Tests.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Andrew Gacek, Dale Miller 0001, Gopalan Nadathur.
    Combining Generic Judgments with Recursive Definitions.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Søren Riis.
    On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer.
    Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Conference paper
    Klaus Aehlig, Arnold Beckmann.
    On the Computational Complexity of Cut-Reduction.
    Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA 2008 (0) 2008
    Show item 1 to 10 of 42  

    Your query returned 42 matches in the database.