Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authIdHal_s : guillonb
hal_authIdPerson_i : 1024590
Image document

Linear-Time Limited Automata

Bruno Guillon , Luca Prigioniero
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.126-138, ⟨10.1007/978-3-319-94631-3_11⟩
Conference papers hal-01905632v1