Model-Checking on Ordered Structures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2020

Model-Checking on Ordered Structures

Dates and versions

hal-02901295 , version 1 (17-07-2020)

Identifiers

Cite

Patrice Ossona de Mendez, Kord Eickmeyer, Jan van Den Heuvel, Ken-Ichi Kawarabayashi, Stephan Kreutzer, et al.. Model-Checking on Ordered Structures. ACM Transactions on Computational Logic, 2020, 21 (2), pp.1-28. ⟨10.1145/3360011⟩. ⟨hal-02901295⟩

Collections

CNRS EHESS INSMI
22 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More