Efficient Open World Reasoning for Planning

JOURNAL ARTICLE published 26 September 2006 in Logical Methods in Computer Science

Authors: Tamara Babaian | James G. Schmolze

A proof of strong normalisation using domain theory

JOURNAL ARTICLE published 4 December 2007 in Logical Methods in Computer Science

Authors: Thierry Coquand | Arnaud Spiwack

Lazy Evaluation and Delimited Control

JOURNAL ARTICLE published 11 July 2010 in Logical Methods in Computer Science

Research funded by National Science Foundation (0937060) | National Science Foundation (0720857) | National Science Foundation (0702717)

Authors: Ronald Garcia | Andrew Lumsdaine | Amr Sabry

Footprints in Local Reasoning

JOURNAL ARTICLE published 24 April 2009 in Logical Methods in Computer Science

Authors: Mohammad Raza | Philippa Gardner

Almost periodic functions, constructively

JOURNAL ARTICLE published 20 December 2005 in Logical Methods in Computer Science

Authors: Bas Spitters

Solving Simple Stochastic Games with Few Random Vertices

JOURNAL ARTICLE published 25 May 2009 in Logical Methods in Computer Science

Authors: Hugo Gimbert | Florian Horn

Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

JOURNAL ARTICLE published 15 November 2007 in Logical Methods in Computer Science

Authors: Vincent Atassi | Patrick Baillot | Kazushige Terui

Ellipses and Lambda Definability

JOURNAL ARTICLE published 1 October 2015 in Logical Methods in Computer Science

Authors: Mayer Goldberg

Compactly accessible categories and quantum key distribution

JOURNAL ARTICLE published 17 November 2008 in Logical Methods in Computer Science

Authors: Chris Heunen

The Safe Lambda Calculus

JOURNAL ARTICLE published 19 February 2009 in Logical Methods in Computer Science

Authors: William Blum | C. -H. Luke Ong

Ranking Functions for Size-Change Termination II

JOURNAL ARTICLE published 25 May 2009 in Logical Methods in Computer Science

Authors: Amir M. Ben-Amram | Chin Soon Lee

Derivation Lengths Classification of G"odel's T Extending Howard's Assignment

JOURNAL ARTICLE published 6 March 2012 in Logical Methods in Computer Science

Authors: Gunnar Wilken | Andreas Weiermann

Two-Way Unary Temporal Logic over Trees

JOURNAL ARTICLE published 5 August 2009 in Logical Methods in Computer Science

Authors: Mikolaj Bojanczyk

Weak Alternating Timed Automata

JOURNAL ARTICLE published 19 September 2012 in Logical Methods in Computer Science

Authors: Pawel Parys | Igor Walukiewicz

Cut-Simulation and Impredicativity

JOURNAL ARTICLE published 3 March 2009 in Logical Methods in Computer Science

Authors: Christoph Benzmueller | Chad E. Brown | Michael Kohlhase

From Proof Nets to the Free *-Autonomous Category

JOURNAL ARTICLE published 5 October 2006 in Logical Methods in Computer Science

Authors: Francois Lamarche | Lutz Strassburger

Computability of Probability Distributions and Characteristic Functions

JOURNAL ARTICLE published 3 September 2013 in Logical Methods in Computer Science

Authors: Takakazu Mori | Yoshiki Tsujii | Mariko Yasugi

Universal codes of the natural numbers

JOURNAL ARTICLE published 29 August 2013 in Logical Methods in Computer Science

Authors: Yuval Filmus

Complexity classifications for different equivalence and audit problems for Boolean circuits

JOURNAL ARTICLE published 30 September 2012 in Logical Methods in Computer Science

Research funded by French National Research Agency (ANR-09-BLAN-0011)

Authors: Elmar Böhler | Nadia Creignou | Matthias Galota | Steffen Reith | Henning Schnoor | Heribert Vollmer

Synthesis from Probabilistic Components

JOURNAL ARTICLE published 30 June 2014 in Logical Methods in Computer Science

Research funded by National Science Foundation (1049862) | National Science Foundation (1139011)

Authors: Sumit Nain | Yoad Lustig | Moshe Y Vardi