output
20062026
most citedDemodulation of spatial carrier images : performance analysis of several algorithms using a single image

23 citations

researchers with a paper here
collaborating institutions
Showing 2018Show all

2 papers · 1 filter

math.LO2018★ 8 cited

An intuitionistic axiomatization of `eventually'

Martín Diéguez, David Fernández-Duque

Boudou and the authors have recently introduced the intuitionistic temporal logic and shown it to be decidable. In this article we show that the `henceforth'-free fragm…

math.LO2018★ 6 cited

Bisimulations for intuitionistic temporal logics

Philippe Balbiani, Joseph Boudou, Marín Diéguez +1

We introduce bisimulations for the logic with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…