×

Found 29 Documents (Results 1–29)

OCaml + XDuce. (English) Zbl 1321.68152

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 192-200 (2006).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

The theory of grammar constraints. (English) Zbl 1160.68564

Benhamou, Frédéric (ed.), Principles and practice of constraint programming – CP 2006. 12th international conference, CP 2006, Nantes, France, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46267-5/pbk). Lecture Notes in Computer Science 4204, 530-544 (2006).
MSC:  68T20 68Q42 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Undecidable problems about timed automata. (English) Zbl 1141.68433

Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 187-199 (2006).
MSC:  68Q45 03D35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Regular expressions and NFAs without \(\epsilon \)-transitions (extended abstract). (English) Zbl 1136.68422

Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 432-443 (2006).
MSC:  68Q45 68Q25
PDFBibTeX XMLCite
Full Text: DOI

On some algorithmic problems regarding the hairpin completion. (English) Zbl 1291.68181

Grüttmüller, M. (ed.) et al., ODSA 2006. Conference on optimal discrete structures and algorithms, Rostock, Germany, September 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 27, 71-72 (2006).
MSC:  68Q25 68Q45 92D20
PDFBibTeX XMLCite
Full Text: DOI

Context-free irreducible word problems in groups. (English) Zbl 1133.20019

Fine, Benjamin (ed.) et al., Combinatorial group theory, discrete groups, and number theory. A conference in honor of Gerhard Rosenberger’s sixtieth birthday, Fairfield, CT, USA, December 8–9, 2004 and the AMS special session on infinite groups, Bard College, Annandale-on-Hudson, NY, USA, October 8–9, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3985-3/pbk). Contemporary Mathematics 421, 125-136 (2006).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software