A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

Exibard, Leo; Filiot, Emmanuel; Khalimov, Ayrat

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

par Exibard, Leo

;Filiot, Emmanuel

;Khalimov, Ayrat

Référence Automata, languages and programming, page (1-19), 122
Publication Publié, 2022-07-01

Article révisé par les pairs

Titre:	A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
Auteur:	Exibard, Leo; Filiot, Emmanuel; Khalimov, Ayrat
Informations sur la publication:	Automata, languages and programming, page (1-19), 122
Statut de publication:	Publié, 2022-07-01
Sujet CREF:	Sciences exactes et naturelles
Langue:	Français
Identificateurs:	urn:issn:0170-1495

Documents en relation

DI-fusion

Church synthesis on register automata over linearly ordered data domains
par Exibard, Leo , Filiot, Emmanuel , Khalimov, Ayrat
Publication 2021-04-19
Sea level change and nitrogen fixation dynamics in the Atlantic over glacial cycles
par Auderset, Alexandra , Fripiat, François , Creel, Roger , Oesch, Lucas , Studer, A. S. , Repschläger, Janne , Hadtorne, E , Vonhof, Hubert , Schiebel, Ralf , Lawrence, Kira , Gordon, Laura , Ren, Haojia Abby , Haug, Gerald H. , Sigman, Daniel D.M. , Martínez-García, Alfredo
Publication 2024-12-12
Knowns and Unknowns on Bering Strait Relative Sea Level and Cordilleran Ice Sheet Size across Marine Isotope Stage 3 (MIS 3)
par Pico, Tamara , Farmer, Jesse , Underwood, Ona M , Cleveland Stout, Rebecca , Granger, Julie , Cronin, Thomas T.M. , Fripiat, François , Martínez-García, Alfredo , Haug, Gerald H. , Sigman, Daniel D.M. , Kodame, S , Vigilia, C , Robel, A
Publication 2024-12-11
Progressive declines in Pacific Antarctic Zone upwelling intensity during each glaciation of the last 460 ka
par Ai, X. E. , Sigman, Daniel D.M. , Martínez-García, Alfredo , Studer, A. S. , Fripiat, François , Lamy, Frank , Schmitt, Mareike , Oleynik, Sergey , Haug, Gerald H.
Publication 2024-12-09
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, X. E. , Dumoulin, Cédric , Moretti, Simone , Studer, A. S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2024-12-09

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.