Biblio

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Matthieu Objois  [Clear All Filters]
Journal Article
N. Bidoit and Objois, M., “Fixpoint and While Temporal Query Languages”, J. Log. Comput., vol. 19, pp. 369-404, 2009.