Search

Léo Exibard

Léo Exibard

Home
Research
Teaching
Contact

Ayrat Khalimov

Latest

Church Synthesis on Register Automata over Linearly Ordered Data Domains (STACS 2021)

2021 Léo Exibard · This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License · Permissions beyond the scope of this license may be available at Contact address · Powered by the Academic theme for Hugo.

Cite