Regular model checking for LTL(MSO).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 223, doi. 10.1007/s10009-011-0212-z
- By:
- Publication type:
- Article
Works matching DE "ALPHABET -- Data processing"
Results: 18
1
2
A note on pure codes.
- Published in:
- Acta Informatica, 2010, v. 47, n. 5/6, p. 347, doi. 10.1007/s00236-010-0122-7
- By:
- Publication type:
- Article
3
FLIPPING LETTERS TO MINIMIZE THE SUPPORT OF A STRING.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 1, p. 5, doi. 10.1142/S0129054108005504
- By:
- Publication type:
- Article
4
HYBRID EXTENDED FINITE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 745, doi. 10.1142/S0129054107004954
- By:
- Publication type:
- Article
5
THE STRUCTURE OF FACTOR ORACLES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 781, doi. 10.1142/S0129054107004978
- By:
- Publication type:
- Article
6
FORGETTING AUTOMATA AND UNARY LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 813, doi. 10.1142/S0129054107004991
- By:
- Publication type:
- Article
7
LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 847, doi. 10.1142/S0129054107005017
- By:
- Publication type:
- Article
8
ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 873, doi. 10.1142/S0129054107005030
- By:
- Publication type:
- Article
9
BINARY AMIABLE WORDS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 2, p. 387, doi. 10.1142/S0129054107004735
- By:
- Publication type:
- Article
10
ONLINE AND DYNAMIC RECOGNITION OF SQUAREFREE STRINGS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 2, p. 401, doi. 10.1142/S0129054107004747
- By:
- Publication type:
- Article
11
RECONSTRUCTING A SUFFIX ARRAY.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1281, doi. 10.1142/S0129054106004418
- By:
- Publication type:
- Article
12
WORDS GUARANTEEING MINIMUM IMAGE.
- Published in:
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 259, doi. 10.1142/S0129054104002406
- By:
- Publication type:
- Article
13
SIMULTANEOUS AVOIDANCE OF LARGE SQUARES AND FRACTIONAL POWERS IN INFINITE BINARY WORDS.
- Published in:
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 317, doi. 10.1142/S0129054104002443
- By:
- Publication type:
- Article
14
EPISTURMIAN WORDS:: SHIFTS, MORPHISMS AND NUMERATION SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 329, doi. 10.1142/S0129054104002455
- By:
- Publication type:
- Article
15
MATRIX INDICATORS FOR SUBWORD OCCURRENCES AND AMBIGUITY.
- Published in:
- International Journal of Foundations of Computer Science, 2004, v. 15, n. 2, p. 277, doi. 10.1142/S0129054104002418
- By:
- Publication type:
- Article
16
EXPLICIT p-ADIC q-EXPANSION FOR THE ALTERNATING SUMS OF POWERS.
- Published in:
- Journal of Computational Analysis & Applications, 2008, v. 10, n. 3, p. 355
- By:
- Publication type:
- Article
17
Automatic Alphabet Recognition.
- Published in:
- Information Retrieval Journal, 2005, v. 8, n. 1, p. 25, doi. 10.1023/B:INRT.0000048495.64628.ea
- By:
- Publication type:
- Article
18
A Hybrid Digital Watermarking Approach Using Wavelets and LSB.
- Published in:
- International Journal of Electrical & Computer Engineering (2088-8708), 2017, v. 7, n. 5, p. 2483, doi. 10.11591/ijece.v7i5.pp2483-2495
- By:
- Publication type:
- Article