Symbolic methods and automata

Boigelot, Bernard

Download

Contribution to collective works (Parts of books)

Symbolic methods and automata

Boigelot, Bernard

2021 • In Pin, Jean-Éric (Ed.) Handbook of Automata Theory

Peer reviewed

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

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

symbolic-methods-and-automata.pdf

Publisher postprint (482.43 kB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

automata; symbolic methods

Disciplines :

Computer science
Mathematics

Author, co-author :

Boigelot, Bernard ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique

Language :

English

Title :

Symbolic methods and automata

Publication date :

2021

Main work title :

Handbook of Automata Theory

Editor :

Pin, Jean-Éric

Publisher :

EMS Press, Berlin, Germany

ISBN/EAN :

978-3-98547-006-8

Collection name :

volume II

Pages :

1189-1215

Peer reviewed :

Peer reviewed

Available on ORBi :

since 20 September 2021

Statistics

Number of views

98 (12 by ULiège)

Number of downloads

143 (9 by ULiège)

More statistics