494 articles – 416 references  [version française]
.:. Browse > List by document type > Invited conferences .:.
10 documents ordered by :

Green's Relations and Their Use in Automata Theory
Colcombet T.
Dans Language and Automata Theory and Applications - Language and Automata Theory and Applications, Espagne (2011) [hal-00638599 - version 1]
Achieving Universal Computations on One-Dimensional Cellular Automata
Yunès J.-B.
In ACRI 2010 - IWNC - International Conference on Cellular Automata for Research and Industry - International Workshop of Natural Computing, Italy (2010) [hal-00686561 - version 1]
fulltext access Ordonnancement non-clair voyant avec dépendances : analyse de LAPS_β◦ EQUI
Robert J., Schabanel N.
AlgoTel, France (2009) [hal-00383347 - version 1]
fulltext access Solving Simple Stochastic Games
Gimbert H., Horn F.
In Logic and Theory of Algorithms - CIE 2008, France (2008) [hal-00344228 - version 1]
Representation theorems for two set families and applications to combinatorial decompositions
Bui-Xuan B.-M., Habib M., Rao M.
In Nouha editions - International Conference on Relations, Orders and Graphs: Interaction with Computer Science (ROGICS'08), Tunisia (2008) [hal-00555315 - version 1]
fulltext access Does Church-Turing thesis apply outside computer science?
Asarin E.
Transgressive Computing 2006, A conference in honor of Jean Della Dora, Spain (2006) [hal-00157955 - version 1]
fulltext access Open problems on regular languages: an historical perspective
Chaubard L., Pin J.-E.
Proceedings of the Conference on Semigroups and Languages, Portugal (2006) [hal-00112856 - version 1]
fulltext access An invitation to play
Zielonka W.
Mathematical Foundations of Computer Science 2005, Poland (2005) [hal-00160437 - version 1]
fulltext access Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity
Ferbus-Zanda M., Grigorieff S.
In Denis Richard's 60th Biirthday Conference - Denis Richard's 60th Biirthday Conference, France (2002) [hal-00201627 - version 1]
fulltext access On reversible automata
Pin J.-E.
Proceedings of the first LATIN conference, Brésil (1992) [hal-00019977 - version 1]