Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings von Galmiche, Didier

Volltext

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings von Galmiche, Didier, Larchey-Wendling, Dominique

Volltext

Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding von LARCHEY-WENDLING, DOMINIQUE, GALMICHE, DIDIER

Volltext

Tree-sequent calculi and decision procedures for intuitionistic modal logics von Galmiche, Didier, Salhi, Yakoub

Volltext

Tree-sequent calculi and decision procedures for intuitionistic modal logics von Galmiche, Didier, Salhi, Yakoub

Volltext

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity von Galmiche, Didier, Hornbeck, Brandon, Méry, Daniel

Volltext

Preface von Galmiche, Didier, Pym, David

Volltext

An Epistemic Separation Logic with Action Models von van Ditmarsch, Hans, Galmiche, Didier, Gawek, Marta

Volltext

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings von Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto

Volltext

Labelled cyclic proofs for separation logic von Galmiche, Didier, Méry, Daniel

Volltext

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Volltext

A SAT-Based Approach to Learn Explainable Decision Sets von Ignatiev, Alexey, Pereira, Filipe, Narodytska, Nina, Marques-Silva, Joao

Volltext

Preface: Special Issue of Selected Extended Papers from IJCAR 2018 von Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto

Volltext

A substructural epistemic resource logic: theory and modelling applications von Galmiche, Didier, Kimmel, Pierre, Pym, David

Volltext

Exploring Approximations for Floating-Point Arithmetic Using UppSAT von Zeljić, Aleksandar, Backeman, Peter, Wintersteiger, Christoph M., Rümmer, Philipp

Volltext

Special Issue on Computational Logic in Honour of Roy Dyckhoff von Galmiche, Didier, Graham-Lengrand, Stéphane

Volltext

Sequent calculi and decidability for intuitionistic hybrid logic von Galmiche, Didier, Salhi, Yakoub

Volltext

Efficient Model Construction for Horn Logic with VLog: System Description von Urbani, Jacopo, Krötzsch, Markus, Jacobs, Ceriel, Dragoste, Irina, Carral, David

Volltext

Nondeterministic Phase Semantics and the Undecidability of Boolean BI von Larchey-Wendling, Dominique, Galmiche, Didier

Volltext

A modal separation logic for resource dynamics von Courtault, Jean-René, Galmiche, Didier

Volltext