315 results on '"Choffrut, Christian"'
Search Results
2. Message complexity for unary multiautomata systems
3. Equational theory of ordinals with addition and left multiplication by $\omega$
4. Synchronous orders on the set of integers
5. Grammic monoids with three generators
6. Decidability of definability issues in the theory of real addition
7. Theories of real addition with and without a predicate for integers
8. Quasi-automatic semigroups
9. Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals
10. Complexity and (un)decidability of fragments of $\langle \omega^{\omega^\lambda}; \times \rangle$
11. [Untitled]
12. $$\langle \mathbb {R}, +,<,1 \rangle $$ Is Decidable in $$\langle \mathbb {R}, +,< ,\mathbb {Z}\rangle $$
13. Both Ways Rational Functions
14. Logical Theory of the Additive Monoid of Subsets of Natural Integers
15. Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations
16. An Algebraic Characterization of Unary Two-Way Transducers
17. Decidability of Definability Issues in the Theory of Real Addition
18. A presentation of a finitely generated submonoid of invertible endomorphisms of the free monoid
19. The Lexicographic Cross-Section of the Plactic Monoid Is Regular
20. Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem
21. Grammic monoids with three generators
22. On the Expressive Power of FO[ + ]
23. Unique Decipherability in the Monoid of Languages: An Application of Rational Relations
24. The Inclusion Problem of Context-Free Languages: Some Tractable Cases
25. Literal Shuffle of Compressed Words
26. Context-Free Grammars and XML Languages
27. On the Maximum Coefficients of Rational Formal Series in Commuting Variables
28. Rational Relations as Rational Series
29. Local Limit Distributions in Pattern Statistics: Beyond the Markovian Models
30. Elementary Theory of Ordinals with Addition and Left Translation by ω
31. On Fatou Properties of Rational Languages
32. Uniformization of Rational Relations
33. Rational relations having a rational trace on each finite intersection of rational relations
34. Both Ways Rational Functions
35. documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle \mathbb {R}, +,<,1 \rangle $$\end{document} Is Decidable in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\langle \mathbb {R}, +,< ,\mathbb {Z}\rangle $$\end{document}
36. Equations in transfinite strings
37. Distances between languages and reflexivity of relations
38. Generalized rational relations and their logical definability
39. Constructing sequential bijections
40. Combinatorics of Words
41. Conjugacy in free inverse monoids
42. Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations
43. Logical Theory of the Additive Monoid of Subsets of Natural Integers
44. Rational transductions and complexity of counting problems
45. Iterated Substitutions and Locally Catenative Systems: a Decidability Result in the Binary Case
46. Iterated substitutions and locally catenative systems: a decidability result in the binary case
47. The “equal last letter” predicate for words on infinite alphabets and classes of multitape automata
48. Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.
49. An Algebraic Characterization of Unary Two-Way Transducers
50. First-order logics: some characterizations and closure properties
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.