IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel ; informatique ; fonction calculable ; manuel ; cours ; exercice corrigé ; licence ; master ; agrégation

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel ; théorie combinatoire des groupes ; mot infini ; groupe libre ; splitting

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie combinatoire des groupes ; groupe hyperbolique ; décidabilité ; pavage ; langage formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

semi-groupe ; langage formel ; grammaire ; réécriture ; code arithmétique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

combinatoire des mots ; langage formel ; approximation diophantienne ; fraction continue ; forme quadratique ; mot de Christoffel ; nombre de Markov

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

fonction de Dehn ; géodésie ; théorie des groupes ; langage ; automate ; graphe de Cayley ; langage formel ; machine de Turing ; grammaire ; problème du mot ; groupe automatique ; groupe hyperbolique ; théorie des automates ; théorie de Novikov-Boone

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

méthode graphique ; langage formel ; logique mathématique ; combinatoire ; complexité ; algorithme de théorie des graphes

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage ; langage naturel ; langage formel ; linguistique floue constructive ; variable linguistique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage ; langage naturel ; langage formel ; grammaire ; évolution ; sémiotique ; grammaire universelle

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

morphisme ; logique ; complexité ; implicitisation ; langage formel ; symétrie ; théorie de la preuve ; récursion ; graphe

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; logique formelle ; logique propositionnelle ; déduction ; langage formel ; paradoxe

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

linguistique ; traitement du langage naturel ; langage formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

automate ; langage algébrique ; langage formel ; langage de programmation

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel ; reduce

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage de programmation ; langage formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage algébrique ; langage formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

série rationnelle ; langage formel ; décidabilité

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel ; complexité ; automate

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

langage formel ; informatique

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents langage formel | enregistrements trouvés : 22

Langages formels : calculabilité et complexité Carton, Olivier ; Préf. Perrin, Dominique. -Paris : Vuibert , 2014 . - 255 p. ; 24 cm
ISBN 9782311014006
Nouveau

Groups, languages and geometry : 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, July 5-9, 1998, Mount Holyoke College Ed. Gilman, Robert H.. -Providence RI : American mathematical Society , 1999 . - ix, 136 p. ; 26 cm
Nouveau

Semigroups theory and applications Ed. Juergensen, H. ; Ed. Lallement, G. ; Ed. Weinert, H.J.. -Berlin : Springer , 1988 . - x-416
https://doi.org/10.1007/BFb0083418
Nouveau

From Christoffel words to Markoff numbers Reutenauer, Christophe. -Oxford : Oxford university Press , 2019 . - xi, 156 p. ; 24 cm
ISBN 9780198827542
Nouveau

Groups, languages and automata Holt, Derek F. ; Rees, Sarah ; Rover, Claas. -Cambridge : Cambridge university Press , 2017 . - xi, 294 p. ; 23 cm
ISBN 9781316606520
Nouveau

Graph structure and monadic second-order logic : a language-theoretic approach Courcelle, Bruno ; Engelfriet, Joost. -Cambridge : Cambridge university Press , 2012 . - xiv, 728 p. ; 24 cm
ISBN 9780521898331
Nouveau

Aspects of automatic text analysis Ed. Mehler, Alexander ; Ed. Köhler, Reinhard. -Berlin : Springer , 2007 . - ix, 464 p. ; 24 cm
ISBN 9783540375203
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1434-9922
Nouveau

Language evolution Ed. Christiansen, Morten H. ; Ed. Kirby, Simon. -Oxford : Oxford university Press , 2003 . - xvii, 395 p. ; 24 cm
ISBN 9780199244843
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm
https://link.springer.com/bookseries/3229
Nouveau

Foundations of computational linguistics : man-machine communication in natural language Hausser, Roland. -Berlin : Springer , 1999 . - xii, 534 p. ; 25 cm
ISBN 9783540660156
Nouveau

Théorie des langages et des automates Autebert, Jean-Michel. -Barcelone, Milan, Paris : Masson , 1994 . - x, 179 p. ; 24 cm
ISBN 9782225840012
Nouveau

Algebraic computing with reduce : lecture notes from the first Brazilian school on computer algebra MacCallum, Malcolm A. H. ; Wright, Francis J. ; Ed. Reboucas, Marcelo J. ; Ed. Roque, Waldir L.. -Oxford : Clarendon Press , 1991 . - xix, 294 p. ; 24 cm
Nouveau

An Introduction to formal language theory Moll, Robert N. ; Arbib, Michael A. ; Kfoury, A.J. ; Pustejovsky, James. -New York NY : Springer , 1988 . - x, 203 p. ; 24 cm
ISBN 9780387966984
https://link.springer.com/bookseries/131
Nouveau

Langages algébriques Autebert, Jean-Michel. -Paris : Masson , 1987 . - 278
Nouveau

Les Séries rationnelles et leurs langages Berstel, Jean ; Reutenauer, Christophe. -Barcelonne, New York NY, Paris : Masson , 1984 . - 132 p. ; 24 cm
ISBN 9782225801372
Nouveau

Jewels of formal language theory Salomaa, Arto. -London : Pitman , 1981 . - x-144
Nouveau

Introduction to automata theory, languages, and computation Hopcroft, John E. ; Ullman, J.. -Reading : Addison-Wesley , 1979 . - x-418
Nouveau

Formal languages Salomaa, Arto. -Orlando, San Diego, San Francisco : Academic press , 1973 . - xiv, 322
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents langage formel | enregistrements trouvés : 22

Langages formels : calculabilité et complexité Carton, Olivier ; Préf. Perrin, Dominique. -Paris : Vuibert , 2014 . - 255 p. ; 24 cm ISBN 9782311014006 Nouveau

Groups, languages and geometry : 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, July 5-9, 1998, Mount Holyoke College Ed. Gilman, Robert H.. -Providence RI : American mathematical Society , 1999 . - ix, 136 p. ; 26 cm Nouveau

Semigroups theory and applications Ed. Juergensen, H. ; Ed. Lallement, G. ; Ed. Weinert, H.J.. -Berlin : Springer , 1988 . - x-416 https://doi.org/10.1007/BFb0083418 Nouveau

From Christoffel words to Markoff numbers Reutenauer, Christophe. -Oxford : Oxford university Press , 2019 . - xi, 156 p. ; 24 cm ISBN 9780198827542 Nouveau

Groups, languages and automata Holt, Derek F. ; Rees, Sarah ; Rover, Claas. -Cambridge : Cambridge university Press , 2017 . - xi, 294 p. ; 23 cm ISBN 9781316606520 Nouveau

Graph structure and monadic second-order logic : a language-theoretic approach Courcelle, Bruno ; Engelfriet, Joost. -Cambridge : Cambridge university Press , 2012 . - xiv, 728 p. ; 24 cm ISBN 9780521898331 Nouveau

Aspects of automatic text analysis Ed. Mehler, Alexander ; Ed. Köhler, Reinhard. -Berlin : Springer , 2007 . - ix, 464 p. ; 24 cm ISBN 9783540375203 https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1434-9922 Nouveau

Language evolution Ed. Christiansen, Morten H. ; Ed. Kirby, Simon. -Oxford : Oxford university Press , 2003 . - xvii, 395 p. ; 24 cm ISBN 9780199244843 Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm ISBN 9780198507291 Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm https://link.springer.com/bookseries/3229 Nouveau

Foundations of computational linguistics : man-machine communication in natural language Hausser, Roland. -Berlin : Springer , 1999 . - xii, 534 p. ; 25 cm ISBN 9783540660156 Nouveau

Théorie des langages et des automates Autebert, Jean-Michel. -Barcelone, Milan, Paris : Masson , 1994 . - x, 179 p. ; 24 cm ISBN 9782225840012 Nouveau

Algebraic computing with reduce : lecture notes from the first Brazilian school on computer algebra MacCallum, Malcolm A. H. ; Wright, Francis J. ; Ed. Reboucas, Marcelo J. ; Ed. Roque, Waldir L.. -Oxford : Clarendon Press , 1991 . - xix, 294 p. ; 24 cm Nouveau

An Introduction to formal language theory Moll, Robert N. ; Arbib, Michael A. ; Kfoury, A.J. ; Pustejovsky, James. -New York NY : Springer , 1988 . - x, 203 p. ; 24 cm ISBN 9780387966984 https://link.springer.com/bookseries/131 Nouveau

Langages algébriques Autebert, Jean-Michel. -Paris : Masson , 1987 . - 278 Nouveau

Les Séries rationnelles et leurs langages Berstel, Jean ; Reutenauer, Christophe. -Barcelonne, New York NY, Paris : Masson , 1984 . - 132 p. ; 24 cm ISBN 9782225801372 Nouveau

Jewels of formal language theory Salomaa, Arto. -London : Pitman , 1981 . - x-144 Nouveau

Introduction to automata theory, languages, and computation Hopcroft, John E. ; Ullman, J.. -Reading : Addison-Wesley , 1979 . - x-418 Nouveau

Formal languages Salomaa, Arto. -Orlando, San Diego, San Francisco : Academic press , 1973 . - xiv, 322 Nouveau

Langages formels : calculabilité et complexité Carton, Olivier ; Préf. Perrin, Dominique. -Paris : Vuibert , 2014 . - 255 p. ; 24 cm
ISBN 9782311014006
Nouveau

Groups, languages and geometry : 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, July 5-9, 1998, Mount Holyoke College Ed. Gilman, Robert H.. -Providence RI : American mathematical Society , 1999 . - ix, 136 p. ; 26 cm
Nouveau

Semigroups theory and applications Ed. Juergensen, H. ; Ed. Lallement, G. ; Ed. Weinert, H.J.. -Berlin : Springer , 1988 . - x-416
https://doi.org/10.1007/BFb0083418
Nouveau

From Christoffel words to Markoff numbers Reutenauer, Christophe. -Oxford : Oxford university Press , 2019 . - xi, 156 p. ; 24 cm
ISBN 9780198827542
Nouveau

Groups, languages and automata Holt, Derek F. ; Rees, Sarah ; Rover, Claas. -Cambridge : Cambridge university Press , 2017 . - xi, 294 p. ; 23 cm
ISBN 9781316606520
Nouveau

Graph structure and monadic second-order logic : a language-theoretic approach Courcelle, Bruno ; Engelfriet, Joost. -Cambridge : Cambridge university Press , 2012 . - xiv, 728 p. ; 24 cm
ISBN 9780521898331
Nouveau

Aspects of automatic text analysis Ed. Mehler, Alexander ; Ed. Köhler, Reinhard. -Berlin : Springer , 2007 . - ix, 464 p. ; 24 cm
ISBN 9783540375203
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1434-9922
Nouveau

Language evolution Ed. Christiansen, Morten H. ; Ed. Kirby, Simon. -Oxford : Oxford university Press , 2003 . - xvii, 395 p. ; 24 cm
ISBN 9780199244843
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Sweet reason : a field guide to modern logic Tymoczko, Tom ; Henle, Jim. -New York NY : Springer , 2000 . - xxii, 644 p. ; 24 cm
https://link.springer.com/bookseries/3229
Nouveau

Foundations of computational linguistics : man-machine communication in natural language Hausser, Roland. -Berlin : Springer , 1999 . - xii, 534 p. ; 25 cm
ISBN 9783540660156
Nouveau

Théorie des langages et des automates Autebert, Jean-Michel. -Barcelone, Milan, Paris : Masson , 1994 . - x, 179 p. ; 24 cm
ISBN 9782225840012
Nouveau

Algebraic computing with reduce : lecture notes from the first Brazilian school on computer algebra MacCallum, Malcolm A. H. ; Wright, Francis J. ; Ed. Reboucas, Marcelo J. ; Ed. Roque, Waldir L.. -Oxford : Clarendon Press , 1991 . - xix, 294 p. ; 24 cm
Nouveau

An Introduction to formal language theory Moll, Robert N. ; Arbib, Michael A. ; Kfoury, A.J. ; Pustejovsky, James. -New York NY : Springer , 1988 . - x, 203 p. ; 24 cm
ISBN 9780387966984
https://link.springer.com/bookseries/131
Nouveau

Langages algébriques Autebert, Jean-Michel. -Paris : Masson , 1987 . - 278
Nouveau

Les Séries rationnelles et leurs langages Berstel, Jean ; Reutenauer, Christophe. -Barcelonne, New York NY, Paris : Masson , 1984 . - 132 p. ; 24 cm
ISBN 9782225801372
Nouveau

Jewels of formal language theory Salomaa, Arto. -London : Pitman , 1981 . - x-144
Nouveau

Introduction to automata theory, languages, and computation Hopcroft, John E. ; Ullman, J.. -Reading : Addison-Wesley , 1979 . - x-418
Nouveau

Formal languages Salomaa, Arto. -Orlando, San Diego, San Francisco : Academic press , 1973 . - xiv, 322
Nouveau