BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
Collaborated with:
P.Balbiani A.Fellner B.W.Paleo M.Diéguez D.Fernández-Duque
Talks about:
logic (4) proposit (2) parallel (2) composit (2) dynam (2) decid (2) intuitionist (1) tableaux (1) procedur (1) compress (1)

Person: Joseph Boudou

DBLP DBLP: Boudou:Joseph

Contributed to:

CADE 20152015
IJCAR 20142014
IJCAR 20162016
CSL 20172017

Wrote 5 papers:

CADE-2015-BalbianiB #composition #logic #parallel
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.
IJCAR-2014-BoudouFP #named #proving
Skeptik: A Proof Compression System (JB, AF, BWP), pp. 374–380.
IJCAR-2016-Boudou #complexity #composition #logic #parallel
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (JB), pp. 373–388.
CSL-2017-Boudou #decidability #logic
Decidable Logics with Associative Binary Modalities (JB), p. 15.
CSL-2017-BoudouDF #decidability #logic
A Decidable Intuitionistic Temporal Logic (JB, MD, DFD), p. 17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.