Sciweavers

815 search results - page 11 / 163
» Algebraic Recognizability of Languages
Sort
View
STACS
2004
Springer
15 years 2 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
14 years 9 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»
14 years 4 months 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 2 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier