JOURNAL ISSUE published 2006 in Logical Methods in Computer Science

Reduction Free Normalisation for a proof irrelevant type of propositions

JOURNAL ARTICLE published 13 July 2023 in Logical Methods in Computer Science

Authors: Thierry Coquand

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

JOURNAL ARTICLE published 28 February 2023 in Logical Methods in Computer Science

Research funded by European Commission (778233)

Authors: Luca Aceto | Ian Cassar | Adrian Francalanza | Anna Ingolfsdottir

Relating Apartness and Bisimulation

JOURNAL ARTICLE published 30 July 2021 in Logical Methods in Computer Science

Authors: Herman Geuvers | Bart Jacobs

On Irrelevance and Algorithmic Equality in Predicative Type Theory

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

Authors: Andreas Abel | Gabriel Scherer

A Complete Axiomatisation for Quantifier-Free Separation Logic

JOURNAL ARTICLE published 10 August 2021 in Logical Methods in Computer Science

Authors: Stéphane Demri | Étienne Lozes | Alessio Mansutti

On Nested Sequents for Constructive Modal Logics

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

Authors: Lutz Strassburger | Anupam Das | Ryuta Arisaka

JOURNAL ISSUE published 2016 in Logical Methods in Computer Science

JOURNAL ISSUE published 2005 in Logical Methods in Computer Science

Editors: Prakash Panangaden

Vector Addition System Reversible Reachability Problem

JOURNAL ARTICLE published 27 February 2013 in Logical Methods in Computer Science

Authors: Jérôme Leroux

JOURNAL ISSUE published 2007 in Logical Methods in Computer Science

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism

JOURNAL ARTICLE published 27 April 2017 in Logical Methods in Computer Science

Authors: Konstantinos Mamouras

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

JOURNAL ARTICLE published 20 September 2010 in Logical Methods in Computer Science

Authors: Juha Kontinen | Heribert Vollmer

Simulation Problems Over One-Counter Nets

JOURNAL ARTICLE published 14 March 2016 in Logical Methods in Computer Science

Authors: Piotr Hofman | Slawomir Lasota | Richard Mayr | Patrick Totzke

Modular session types for objects

JOURNAL ARTICLE published 16 December 2015 in Logical Methods in Computer Science

Research funded by Fundação para a Ciência e a Tecnologia, I.P. (SFRH/BSAB/757/2007) | UK Research and Innovation (EP/K034413/1) | UK Research and Innovation (EP/E065708/1) | UK Research and Innovation (EP/F037368/1)

Authors: Simon J. Gay | Nils Gesbert | António Ravara | Vasco T. Vasconcelos

Relating Functional and Imperative Session Types

JOURNAL ARTICLE published 15 September 2022 in Logical Methods in Computer Science

Authors: Hannes Saffrich | Peter Thiemann

Logical Methods in Computer Science

JOURNAL published

Bialgebraic Semantics for Logic Programming

JOURNAL ARTICLE published 30 March 2015 in Logical Methods in Computer Science

Authors: Filippo Bonchi | Fabio Zanasi

Discovering, quantifying, and displaying attacks

JOURNAL ARTICLE published 27 April 2017 in Logical Methods in Computer Science

Authors: Roberto Vigo | Flemming Nielson | Hanne Riis Nielson

Linear Programs with Conjunctive Database Queries

JOURNAL ARTICLE published 26 January 2024 in Logical Methods in Computer Science

Authors: Florent Capelli | Nicolas Crosetti | Joachim Niehren | Jan Ramon