External Links

    Journal: Logical Methods in Computer Science

    Volume 2, Issue 5

    0 -- 0Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen. Linear Abadi and Plotkin Logic
    0 -- 0Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan. Linear Encodings of Bounded LTL Model Checking
    0 -- 0Lars Birkedal, Noah Torp-Smith, Hongseok Yang. Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
    0 -- 0Jean H. Gallier. The Completeness of Propositional Resolution: A Simple and Constructive Proof
    0 -- 0Jirí Adámek, Stefan Milius, Jiri Velebil. Elgot Algebras

    Volume 2, Issue 4

    0 -- 0Le-Chi Tuan, Chitta Baral, Tran Cao Son. A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
    0 -- 0Jeremy Avigad, Harvey Friedman. Combining decision procedures for the reals
    0 -- 0Víctor Dalmau. Generalized Majority-Minority Operations are Tractable
    0 -- 0Erich Grädel, Igor Walukiewicz. Positional Determinacy of Games with Infinitely Many Priorities
    0 -- 0François Lamarche, Lutz Straßburger. From Proof Nets to the Free *-Autonomous Category
    0 -- 0Benedetto Intrigila, Richard Statman. Solution of a Problem of Barendregt on Sensible lambda-Theories

    Volume 2, Issue 3

    0 -- 0Masahito Hasegawa. Relational Parametricity and Control
    0 -- 0Leonid Libkin. Logics for Unranked Trees: An Overview
    0 -- 0Frank Neven, Thomas Schwentick. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
    0 -- 0Tamara Babaian, James G. Schmolze. Efficient Open World Reasoning for Planning
    0 -- 0Naoki Kobayashi, Kohei Suenaga, Lucian Wischik. Resource Usage Analysis for the p-Calculus
    0 -- 0Solomon Feferman. Tarski s influence on computer science

    Volume 2, Issue 2

    0 -- 0Kristian Støvring. Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
    0 -- 0Bruno Courcelle. The monadic second-order logic of graphs XVI : Canonical graph decompositions
    0 -- 0Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi. On the Expressiveness of the Ambient Logic
    0 -- 0Arnaud Carayol, Antoine Meyer. Context-Sensitive Languages, Rational Graphs and Determinism
    0 -- 0Alwen Tiu. A System of Interaction and Structure II: The Need for Deep Inference
    0 -- 0Carsten Lutz, Frank Wolter. Modal Logics of Topological Relations

    Volume 2, Issue 1

    0 -- 0Paul Taylor 0002. Computably Based Locally Compact Spaces
    0 -- 0Brijesh Dongol, Doug Goldson. Extending the theory of Owicki and Gries with a logic of progress
    0 -- 0Phuong Nguyen, Stephen A. Cook. Theories for TC0 and Other Small Complexity Classes
    0 -- 0Antonín Kucera, Javier Esparza, Richard Mayr. Model Checking Probabilistic Pushdown Automata
    0 -- 0Vineet Gupta, Radha Jagadeesan, Prakash Panangaden. Approximate reasoning for real-time probabilistic processes
    0 -- 0Willem Conradie, Valentin Goranko, Dimiter Vakarelov. Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
    runs on