A proof of Choffrut's theorem on subsequential functions

Authors
Bruyere, V Reutenauer, C
Citation
V. Bruyere et C. Reutenauer, A proof of Choffrut's theorem on subsequential functions, THEOR COMP, 215(1-2), 1999, pp. 329-335
Citations number
8
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
215
Issue
1-2
Year of publication
1999
Pages
329 - 335
Database
ISI
SICI code
0304-3975(19990228)215:1-2<329:APOCTO>2.0.ZU;2-3
Abstract
We prove an extension of the Ginsburg-Rose theorem, and as a corollary, Cho ffrut's topological characterization of subsequential functions. (C) 1999-E lsevier Science B.V. All rights reserved.