Sciweavers

815 search results - page 11 / 163
» Algebraic Recognizability of Languages
Sort
View
STACS
2004
Springer
15 years 11 months ago
Desert Automata and the Finite Substitution Problem
d Abstract)⋆⋆ Daniel Kirsten LIAFA, Universit´e Denis Diderot – Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France We give a positive solution to the so-called fini...
Daniel Kirsten
ITA
2000
15 years 5 months ago
Iteration of rational transductions
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of tr...
Alain Terlutte, David Simplot
JUCS
2010
89views more  JUCS 2010»
15 years 22 days ago
A Geometrically Enhanced Conceptual Model and Query Language
: Motivated by our experiences with spatial modelling for the sustainable land use initiative we present a geometrically enhanced ER model (GERM), which preserves the key principle...
Hui Ma
IFIP
2009
Springer
15 years 10 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier