Publications
Search

Publications :: Search

Show venue

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

    Journal
    Name: ACM Trans. Comput. Log.
    Year: 2010
    Volume: 12
    Number: 1
    DBLP: db/journals/tocl/tocl12.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 29  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Christian Urban, James Cheney, Stefan Berghofer.
    Mechanizing the metatheory of LF.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Ranko Lazic.
    Safety alternating automata on data words.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Paulo Shakarian, Austin Parker, Gerardo I. Simari, V. S. Subrahmanian.
    Annotated probabilistic temporal logic.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Yuri Gurevich, Itay Neeman.
    Logic of infons: The propositional case.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Stefan Szeider.
    Monadic second order logic on graphs with local cardinality constraints.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Michael Bauland, Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer.
    The tractability of model checking for LTL: The good, the bad, and the ugly fragments.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio.
    MWeb: A principled framework for modular web rule bases and its semantics.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer.
    Well-founded semantics for description logic programs in the semantic web.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Andreas Blass, Yuri Gurevich.
    Persistent queries in the behavioral theory of algorithms.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Conference paper
    Jan A. Bergstra, Alban Ponse.
    Proposition algebra.
    ACM Trans. Comput. Log. 2010, Volume 12 (0) 2011
    Show item 1 to 10 of 29  

    Your query returned 29 matches in the database.