Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
44 | Tom Head |
Adherence Equivalence Is Decidable for DOL Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings, pp. 241-249, 1984, Springer, 3-540-12920-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
43 | K. G. Subramanian 0001, Do Long Van, Rani Siromoney |
On Ambiguity of DTOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 3-14, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
42 | Karel Culík II, Ivan Fris |
The Sequence Equivalence Problem for D0L Systems is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings, pp. 148-163, 1977, Springer, 3-540-08342-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
36 | Christian Choffrut |
Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 490-500, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
substitutions in the free monoids, DOL-systems, DOL-sequences, linear recurrence equations, locally catenative systems, finite deciphering delay of codes, equations in words |
27 | Mária Králová |
A note on the ratio function in DOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMYCS ![In: Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings, pp. 129-137, 1986, Springer, 3-540-18535-6. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
27 | Karel Culík II, Tero Harju |
The omega-Sequence Problem for DOL Systems Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 31(2), pp. 282-298, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Juhani Karhumäki |
On the Equivalence Problem for Binary DOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 339-347, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
27 | Juhani Karhumäki |
On the Equivalence Problem for Binary DOL Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 50(3), pp. 276-284, September 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
27 | Karel Culík II, Tero Harju |
The omega-Sequence Equivalence Problem for DOL Systems Is Decidable ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 13th Annual ACM Symposium on Theory of Computing, May 11-13, 1981, Milwaukee, Wisconsin, USA, pp. 1-6, 1981, ACM. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
27 | Karel Culík II |
The Ultimate Equivalence Problem for DOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 10, pp. 79-84, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
27 | Karel Culík II, Ivan Fris |
The Decidability of the Equivalence Problem for DOL-Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 35(1), pp. 20-39, September 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
27 | Paul M. B. Vitányi |
Digraphs Associated with DOL Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Languages, Development ![In: Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31 - April 6, 1975., pp. 335-346, 1975, North-Holland Publishing Company, 0-7204-0474-6. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
27 | Jean Berstel, Mogens Nielsen |
The Growth Range Equivalence Problem for DOL Systems is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Languages, Development ![In: Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31 - April 6, 1975., pp. 161-178, 1975, North-Holland Publishing Company, 0-7204-0474-6. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|