Search in the Catalogues and Directories

Hits 1 – 3 of 3

1	One-way definability of two-way word transducers
	Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca...
	In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-02121085 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14 (4), ⟨10.23638/LMCS-14(4:22)2018⟩ ; https://lmcs.episciences.org/5021 (2018)
	BASE
	Show details

2	Computing ε-free NFA from regular expressions in O(nlog 2(n)) time
	Hagenah, Christian; Muscholl, Anca
	In: Theoretical informatics and applications. - Cambridge, Mass. : EDP Sciences 34 (2000) 4, 257-277
	BLLDB
	Show details

3	Solving Trace Equations Using Lexicographical Normal Forms
	Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
	In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-1997-01/TR-1997-01.pdf (1997)
	BASE
	Show details