Decidability through first-order logic and regular sequences

No full text

Unpublished conference/Abstract (Scientific congresses and symposiums)

Charlier, Emilie

2019 • Dyadisc3: Decidability and dynamical systems

Permalink
https://hdl.handle.net/2268/238025

No document available.

Amiens2019-talk.pdf

Publisher postprint (406.18 kB)

All documents in ORBi are protected by a user license.

Keywords :

décidabilité; suite automatique; logique; suite régulière

Disciplines :

Mathematics

Author, co-author :

Charlier, Emilie ; Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes

Language :

English

Title :

Decidability through first-order logic and regular sequences

Publication date :

July 2019

Event name :

Dyadisc3: Decidability and dynamical systems

Event place :

Amiens, France

Event date :

du 3 juillet 2019 au 5 juillet 2019

By request :

Yes

Audience :

International

Available on ORBi :

since 08 July 2019

Number of views

36 (4 by ULiège)

Number of downloads

12 (3 by ULiège)