Works matching IS 28047346 AND DT 2022 AND VI 56
Results: 9
Almost all Classical Theorems are Intuitionistic.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022009
- By:
- Publication type:
- Article
On primitive words with non-primitive product.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022004
- By:
- Publication type:
- Article
Automatic sequences of rank two.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022006
- By:
- Publication type:
- Article
Critical factorisation in square-free words.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022003
- By:
- Publication type:
- Article
A polynomial time algorithm for geodetic hull number for complementary prisms.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022001
- By:
- Publication type:
- Article
Weakly protected nodes in random binary search trees.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022002
- By:
- Publication type:
- Article
On rationally controlled one-rule insertion systems.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022008
- By:
- Publication type:
- Article
Synthesizing fuzzy tree automata.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022005
- By:
- Publication type:
- Article
On the Complexity of the Generalized Fibonacci Words.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2022, v. 56, p. 1, doi. 10.1051/ita/2022007
- By:
- Publication type:
- Article