The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joseph Boudou" ( http://dblp.L3S.de/Authors/Joseph_Boudou )

  Author page on DBLP  Author page in RDF  Community of Joseph Boudou in ASPL-2

Publication years (Num. hits)
2013-2019 (15)
Publication types (Num. hits)
article(3) inproceedings(11) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero Axiomatic systems and topological semantics for intuitionistic temporal logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque Bisimulations for intuitionistic temporal logics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Joseph Boudou, Emiliano Lorini Concurrent Game Structures for Temporal STIT Logic. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Joseph Boudou Decidable Logics with Associative Binary Modalities. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque A Decidable Intuitionistic Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Emiliano Lorini Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joseph Boudou Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joseph Boudou Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence). Search on Bibsonomy 2016   RDF
1Joseph Boudou Exponential-Size Model Property for PDL with Separating Parallel Composition. Search on Bibsonomy MFCS (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Joseph Boudou Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo Skeptik: A Proof Compression System. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Bruno Woltzenlogel Paleo Compression of Propositional Resolution Proofs by Lowering Subproofs. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license