Мобильная версия

Доступно журналов:

3 288

Доступно статей:

3 891 637

 
Расширенный поиск

по журналам "RAIRO - Theoretical Informatics and Applications"

Отсортировать по: Порядок: Результаты:

  • A bound for the ω-equivalence problem of polynomial D0L systems
    Honkala, Juha; Honkala Juha; Department of Mathematics, University of Turku, 20014 Turku, Finland; juha.honkala@utu.fi. (EDP Sciences, 2003)
  • A characterization of poly-slender context-free languages
    Ilie, Lucian; Rozenberg, Grzegorz; Salomaa, Arto; Ilie Lucian; Turku Centre for Computer Science TUCS, 20520 Turku, Finland.; Research supported by the Academy of Finland, Project 137358. On leave of absence from Faculty of Mathematics, University of Bucharest, Str. Academiei 14, 70109 Bucharest, Romania.; Rozenberg Grzegorz; Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands and Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, U.S.A.; Salomaa Arto; Turku Centre for Computer Science TUCS, 20520 Turku, Finland.Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands and Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, U.S.A. (EDP Sciences, 2000)
  • A Coalgebraic Semantics of Subtyping
    Poll, Erik; Poll Erik; Department of Computer Science, University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands. (EDP Sciences, 2001)
  • A Compositional Approach to Synchronize Two Dimensional Networks of Processors
    La Torre, Salvatore; Napoli, Margherita; Parente, Mimmo; La Torre Salvatore; Department of Computer and Information Science, University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104-638, U.S.A.; Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy.; Napoli Margherita; Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy.; Parente Mimmo; Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy. (EDP Sciences, 2000)
  • A conjecture on the concatenation product
    Pin, Jean-Eric; Weil, Pascal; Pin Jean-Eric; LIAFA, Université Paris VII et CNRS, Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France; (Jean-Eric.Pin@liafa.jussieu.fr); Weil Pascal; LaBRI, Université Bordeaux I et CNRS, 351 cours de la Libération, 33405 Talence Cedex, France; (Pascal.Weil@labri.fr) (EDP Sciences, 2001)
  • A distributed voting scheme to maximize preferences
    Auer, Peter; Cesa-Bianchi, Nicolò; Auer Peter; Dept. of Mathematics and Information Technologies, University of Leoben, Austria.; Cesa-Bianchi Nicolò; Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Italy; cesa-bianchi@dsi.unimi.it (EDP Sciences, 2006)
  • A Finite Axiomatization of Nondeterministic Regular Expressions
    Corradini, Flavio; De Nicola, Rocco; Labella, Anna; Corradini Flavio; Università dell'Aquila, Dipartimento di Matematica Pura ed Applicata, Via Vetoio, Loc. Coppito, I-67100 L'Aquila, Italy; flavio@univaq.it.; De Nicola Rocco; Università di Firenze, Dipartimento di Sistemi e Informatica, Via C. Lombroso 6/17, 50134 Firenze, Italy; denicola@dsi.unifi.it.; Labella Anna; Università di Roma “La Sapienza”, Dipartimento di Scienze dell'Informazione, Via Salaria 113, 00198 Roma, Italy; labella@dsi.uniroma1.it. (EDP Sciences, 1999)
  • A Fully Equational Proof of Parikh's Theorem
    Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna; Aceto Luca; (asic esearch in omputer cience, Centre of the Danish National Research Foundation), Department of Computer Science, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg Ø, Denmark; luca@cs.auc.dk.; Ésik Zoltán; Department of Computer Science, University of Szeged, P.O. Box 652, 6701 Szeged, Hungary.; Ingólfsdóttir Anna; (asic esearch in omputer cience, Centre of the Danish National Research Foundation), Department of Computer Science, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg Ø, Denmark; luca@cs.auc.dk. (EDP Sciences, 2002)
  • A Generalisation of Entity and Referential Integrity in Relational Databases
    Levene, Mark; Loizou, George; Levene Mark; Department of Computer Science, University College London, Gower Street, London WC1E 6BT, U.K.; (mlevene@cs.ucl.ac.uk); Loizou George; Department of Computer Science, Birkbeck College, Malet Street, London WC1E 7HX, U.K.; (george@dcs.bbk.ac.uk) (EDP Sciences, 2001)
  • A generator of morphisms for infinite words
    Ochem, Pascal; Ochem Pascal; LaBRI, Université Bordeaux I, 351, cours de la Libération, 33405 Talence Cedex, France; ochem@labri.fr (EDP Sciences, 2006)
  • A graph approach to computing nondeterminacy in substitutional dynamical systems
    Carlsen, Toke M.; Eilers, Søren; Carlsen Toke M.; University of Copenhagen, Universitetsparken 5, 2100 Copenhagen Ø, Denmark; toke@math.ku.dk; School of Mathematical & Physical Sciences, Mathemathics Building - V123, University of Newcastle, University Drive, Callaghan NSW 2308, Australia.; Eilers Søren; University of Copenhagen, Universitetsparken 5, 2100 Copenhagen Ø, Denmark; eilers@math.ku.dk (EDP Sciences, 2007)
  • A Kleene-Schützenberger theorem for Lindenmayerian rational power series
    Honkala, Juha; Honkala Juha; Department of Mathematics, University of Turku, 20014 Turku, Finland; (juha.honkala@utu.fi); Turku Centre for Computer Science (TUCS), Lemminkäisenkatu 14, 20520 Turku, Finland. (EDP Sciences, 2000)
  • A little more about morphic Sturmian words
    Fagnot, Isabelle; Fagnot Isabelle; Institut Gaspard Monge, Cité Descartes, 5, boulevard Descartes, Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2, France; fagnot@univ-mlv.fr (EDP Sciences, 2006)
  • A Lower Bound For Reversible Automata
    Héam, Pierre-Cyrille; Héam Pierre-Cyrille; LIAFA, Université Paris 7, 2 place Jussieu, 75251 Paris Cedex 05, France; (heam@liafa.jussieu.fr) (EDP Sciences, 2000)
  • A metric for evaluating software architecture and communication models consistency
    Lafaye, Jean-Yves; Louis, Georges; Lafaye Jean-Yves; Laboratoire Informatique, Image, Interaction (L3i), Université de La Rochelle, France; jylafaye@univ-lr.fr; glouis@univ-lr.fr; Louis Georges; Laboratoire Informatique, Image, Interaction (L3i), Université de La Rochelle, France; jylafaye@univ-lr.fr; glouis@univ-lr.fr (EDP Sciences, 2005)
  • A Note on a Conjecture of Duval and Sturmian Words
    Mignosi, Filippo; Zamboni, Luca Q.; Mignosi Filippo; Dipartimento di Matematica e Applicazioni, Università degli Studi di Palermo, Via Archirafi 34, 90123 Palermo, Italia; mignosi@dipmat.math.unipa.it.; Zamboni Luca Q.; Department of Mathematics, P.O. Box 311430, University of North Texas, Denton, TX 76203-1430, USA; luca@unt.edu. (EDP Sciences, 2002)
  • A note on Coinduction and Weak Bisimilarity for While Programs
    Rutten, J. J.M.M.; Rutten J. J.M.M.; CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands; janr@cwi.nl. URL: www.cwi.nl/~janr (EDP Sciences, 1999)
  • A Note on Negative Tagging for Least Fixed-Point Formulae
    Gurov, Dilian; Kapron, Bruce; Gurov Dilian; Swedish Institute of Computer Science, Box 1263, SE-164 29 Kista, Sweden; dilian@sics.se.; Kapron Bruce; Department of Computer Science, University of Victoria, Victoria, B.C., Canada V8W 3P6; bmkapron@csc.uvic.ca. (EDP Sciences, 1999)
  • A note on the Size-Ramsey number of long subdivisions of graphs
    Donadelli, Jair; Haxell, Penny E.; Kohayakawa, Yoshiharu; Donadelli Jair; Departamento de Informática, Universidade Federal do Paraná, Centro Politécnico Caixa Postal 19081, 81531-980 Curitiba PR, Brasil; e-mail: ; Haxell Penny E.; Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada; e-mail: ; Kohayakawa Yoshiharu; Instituto de Matemática e Estatística, Universidade de São Paulo, Rua do Matão 1010, 05508–090 São Paulo SP, Brasil; e-mail:  (EDP Sciences, 2005)
  • A periodicity property of iterated morphisms
    Honkala, Juha; Honkala Juha; Department of Mathematics, University of Turku, 20014 Turku, Finland; juha.honkala@utu.fi (EDP Sciences, 2007)