Marie Fortin
发表
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022,
KR.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022
.
B. Konev,
F. Wolter,
Marie Fortin,
2022,
KR.
Patrick Totzke,
Marie Fortin,
Louwe B. Kuijer,
2021,
2105.04176.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2023,
ArXiv.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2021,
J. Comput. Syst. Sci..
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2017,
STACS.
Marie Fortin,
Marie Fortin,
2020
.
Boris Konev,
Frank Wolter,
Marie Fortin,
2021,
Description Logics.
Anca Muscholl,
Igor Walukiewicz,
Marie Fortin,
2017,
CAV.
Anca Muscholl,
Igor Walukiewicz,
Marie Fortin,
2016,
ArXiv.
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
pdf
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
CONCUR.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
ArXiv.
Louwe B. Kuijer,
Marie Fortin,
Martin Zimmermann,
2023,
ArXiv.