Statistics
Publications
1
Citations
24
H-Index
1
Active since
2019
Affiliations
Université de Bretagne Occidentale(Current)
Joseph Boudou is an author at Université de Bretagne Occidentale specializing in multi-sorted logic, engineering, and cognitive science.
Publications per year
2019–2019
1
1
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez et al. · ACM Transactions on Computational Logic · 2019 · 24 citations · Full text
Persistent Posets, Non-classical Logic, Cognitive Science +12
Rows per page
1–1 of 1