Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011
    URL: http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007
    DBLP: db/conf/csl/csl2011.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 43  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Alan Jeffrey, Julian Rathke.
    The Lax Braided Structure of Streaming I/O.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Federico Aschieri.
    Transfinite Update Procedures for Predicative Systems of Analysis.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Johann A. Makowsky.
    Model Theory in Computer Science: My Own Recurrent Themes.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Udi Boker, Thomas A. Henzinger.
    Determinizing Discounted-Sum Automata.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Martín Hötzel Escardó, Paulo Oliva, Thomas Powell.
    System T and the Product of Selection Functions.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke.
    Unifying Büchi Complementation Constructions.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Lukasz Czajka.
    A Semantic Approach to Illative Combinatory Logic.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Eryk Kopczynski.
    Trees in Trees: Is the Incomplete Information about a Tree Consistent?.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Andrew Polonsky.
    Axiomatizing the Quote.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Conference paper
    Martin Otto 0001.
    The Freedoms of Guarded Bisimulation.
    Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings 2011 (0) 2011
    Show item 1 to 10 of 43  

    Your query returned 43 matches in the database.