Facet browsing currently unavailable
Page 1 of 1056 results
Sort by: relevance publication year
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language JOURNAL ARTICLE published 26 January 2024 in Logical Methods in Computer Science |
JOURNAL ISSUE published 2008 in Logical Methods in Computer Science |
The Size-Change Termination Principle for Constructor Based Languages JOURNAL ARTICLE published 13 February 2014 in Logical Methods in Computer Science |
The Relationship Between Separation Logic and Implicit Dynamic Frames JOURNAL ARTICLE published 31 July 2012 in Logical Methods in Computer Science |
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems JOURNAL ARTICLE published 26 April 2016 in Logical Methods in Computer Science |
JOURNAL ISSUE published 2008 in Logical Methods in Computer Science |
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) |
Characterising Testing Preorders for Finite Probabilistic Processes JOURNAL ARTICLE published 28 October 2008 in Logical Methods in Computer Science |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes JOURNAL ARTICLE published 3 March 2014 in Logical Methods in Computer Science Research funded by European Commission (257414) | European Commission (600708) |
Relating Apartness and Bisimulation JOURNAL ARTICLE published 30 July 2021 in Logical Methods in Computer Science |
A model of actors and grey failures JOURNAL ARTICLE published 22 November 2023 in Logical Methods in Computer Science |
Off-line test selection with test purposes for non-deterministic timed automata JOURNAL ARTICLE published 17 October 2012 in Logical Methods in Computer Science |
Equality Saturation: A New Approach to Optimization JOURNAL ARTICLE published 28 March 2011 in Logical Methods in Computer Science Research funded by National Science Foundation (0644306) |
JOURNAL ISSUE published 2009 in Logical Methods in Computer Science |
JOURNAL ISSUE published 2015 in Logical Methods in Computer Science |
JOURNAL ISSUE published 2007 in Logical Methods in Computer Science |
Positive Inductive-Recursive Definitions JOURNAL ARTICLE published 27 March 2015 in Logical Methods in Computer Science |
Modal Functional (Dialectica) Interpretation JOURNAL ARTICLE published 25 October 2021 in Logical Methods in Computer Science |
Proof Theory of Riesz Spaces and Modal Riesz Spaces JOURNAL ARTICLE published 17 February 2022 in Logical Methods in Computer Science Research funded by European Commission (678157) | French National Research Agency (ANR-16-CE25-0011) |
Synthesis of Computable Regular Functions of Infinite Words JOURNAL ARTICLE published 29 June 2022 in Logical Methods in Computer Science |