par Dartois, Luc ;Filiot, Emmanuel ;Lhote, Nathan
Référence Proceedings - Symposium on Logic in Computer Science
Publication Publié, 2018-06-01
Article révisé par les pairs
Titre:
  • A Decidable Logic for Transductions with Synthesis.
Auteur:Dartois, Luc; Filiot, Emmanuel; Lhote, Nathan
Informations sur la publication:Proceedings - Symposium on Logic in Computer Science
Statut de publication:Publié, 2018-06-01
Sujet CREF:Sciences exactes et naturelles
Langue:Français
Identificateurs:urn:issn:1043-6871