Encycl. universalis (art. : Linguisitque : théories) : grammaires formelles - http://www.universalis-edu.com (2023-07-12)
Dict. de linguistique et des sciences du langage, 1994
Introduction à la linguistique formelle / R. Blin, 2009
Notions sur les grammaires formelles / M. Gross, A. Lentin, 1967
Grammaires formelles
Chomsky, Noam (1928-....) (linguiste)
Grammaire algébrique
Langage et logique
Linguistique mathématique
Analyse linguistique
Teoreetiline keeleteadus Eestis II / toimetajad Ilona Tragel ja Haldur Õim / Tartu : Tartu Ülikooli Kirjastus , 2006
Modelltheorie für Linguisten / Peter Lutzeier / Tübingen : M. Niemeyer , 1973
Extension des résultats de la théorie des automates finis et des transducteurs de Nivat au cas associatif-relatif / par André Bonnin / [S.l.] : [s.n.] , 1971
String analysis of sentence structure / by Zellig S. Harris,... / The Hague : Mouton , 1964
Systèmes de réécriture avec sélecteur / Philippe Moreau / [S.l.] : [s.n.] , 1984
Comparative studies in current syntactic theories / Sheila Dooley Collberg / Lund, Sweden : Lund University, Department of Linguistics , 1991
WCCFL 21 / proceedings of the 21th West Coast Conference on formal linguistics, [held at UC Santa Cruz, april 5-7, 2002] ; edited by Line Mikkelsen and Christopher Potts / Somerville (Mass.) : Cascadilla Press , 2002
Détermination et formalisation / edited by Xavier Blanco, Pierre-André Buvet, Zoé Gavriilidou / Amsterdam : J. Benjamins , 2001
Conflits de formalisation en linguistique / Sergio Pérez Cortés ; préf. de Jean-Claude Milner / Nanterre : Université de Paris-X-Nanterre , 1983
Theory of language syntax : categorial approach / Urszula Wybraniec-Skardowska / Dordrecht : Kluwer Academic Publishers , 1991
WCCFL 19 : proceedings of the 20th West Coast conference on formal linguistics : [held at the University of California, February 4-6, 2000 / edited by roger Billerey and Brook Danielle Lillehaugen / Somerville (Mass.) : Cascadilla Press
Topologie et grammaires formelles de l'allemand / Kim Gerdes ; sous la dir. de Anne Abeillé / [S.l.] : [s.n.] , 2002
Les effects et les handlers dans le langage naturel / Jiří Maršík ; sous la direction de Philippe de Groote et de Maxime Amblard / , 2016
Etude algorithmique de l'inférence grammaticale / Franck Thollard / Montpellier : Université Montpellier II Sciences et Techniques du Languedoc , [1996]
Représenter les connaissances en linguistique : observations sur l'édition de matériaux et sur l'analyse syntaxique / Nicolas Mazziotta ; sous la direction de Sylvain Kahane / 2016
Spécification des archétypes cognitifs : définition d'une syntaxe formelle du langage des archétypes cognitifs / Jacques-Vincent Siracusa / Paris : CNAM , 1991
Proceedings of the West Coast Conference on Formal Linguistics Volume 5, 1986 / association committee Mary Dalrymple...[et al.] / Stanford, Calif. : Stanford Linguistics Association , cop. 1986
Functionalism and formalism in linguistics Volume II, Case studies / edited by Michael Darnell, Edith Moravcsik, Frederick Newmeyer ... [et al.] / Amsterdam : J. Benjamins
La lingua copta / Paola Buzi, Agostino Soldati / Milano : Editore Ulrico Hoepli
Pour une linguistique de l'énonciation Tome 3, Domaine notionnel / Antoine Culioli / Limoges : Lambert-Lucas , DL 2020
Autour des syntagmes nominaux sémantiquement pluriels en chinois mandarin et de leurs interprétations collective et distributive / Yan Li ; sous la direction de Lucia M. Tovena / , 2016
Sémantique doctrinale appliquée : méthodes de logique catégorique en informatique, linguistique, ensembles flous / Michel Eytan ; [sous la direction de A. Lentin] / [S.l.] : [s.n.] , 1982
Семантика текста и ее формализация / А.И. Новиков ; Академия наук СССР, институт языкознания / Москва : Наука , 1983
Vers une formalisation mathématique de l'analyse linguistique microsystémique / par Elizabeth Rodríguez Sánchez ; sous la codir. de Sylviane Cardey-Greenfield et de Xavier Blanco Escoda / [S.l.] : [s.n.] , 2013
Description formelle de propriétés géométriques / par Tuan Minh Pham ; sous la direction d'Yves Bertot / [S.l.] : [s.n.] , 2011
Handbook of philosophical logic Volume 4, Topics in the philosophy of language / edited by D. Gabbay and F. Guenthner / Dordrecht [etc.] : Kluwer Academic Publishers
Computational and mathematical linguistics : proceedings of the International conference on computational linguistics, Pisa, 27 VIII-1 IX 1973 / A. Zampolli, N. Calzolari, editors / Firenze : Leo .S. Olschki editore , 1977-1980
la formalisation / Cercle d'épistémologie de l'Ecole Normale Supérieure / Paris : éd. du Seuil , 1969
Formal grammars in linguistics and psycholinguistics / by W. J. M. Levelt ; [transl. Andrew Barnas] / The Hague : Mouton , 1974
Contributions à la formalisation de la notion de contexte : le concept de "théorie" dans la représentation des connaissances / par Victor-Hugo Zaldivar-Carrillo / [S.l.] : [s.n.] , [1995]
Informatique générale : structure et fonctionnement des ordinateurs : théorie des langages / Jean-Luc Stehlé, Pierre Hochard,... / Paris : Ellipses , DL 1989
Dynamiques et structures en langue / David Piotrowski / Paris : CNRS Éditions
Syntactic gradience : the nature of grammatical indeterminacy / Bas Aarts / Oxford : Oxford University Press , 2007
Minority languages, microvariation, minimalism andmeaning : proceedings of the irish network in formal linguistics / edited by Catrin S. Rhys, Pavel Iosad and Alison Henry / Newcastle upon Tyne : Cambridge Scholars Publishing , cop. 2013
Linguistique, formation des enseignants et enseignement supérieur / Jean Dubois / Paris : Larousse , DL 1972
The Grammar of Copulas Across Languages / María J. Arche, Antonio Fábregas, Rafael Marín / Oxford : Oxford University Press , 2019
Introduction to formal grammars / M. Gross, A. Lentin ; with a preface by Noam Chomsky ; translated by M[orris] Salkoff / Berlin : Springer-Verlag , 1970
Logic and the formal theory of natural language : selective bibliography / ed. by János S. Petofi / Hamburg : H. Buske , cop. 1978
Lexical-functional grammar : an introduction / Kersti Börjars, Rachel Nordlinger, Louisa Sadler / Cambridge, United Kingdom : Cambridge University Press , C 2019
Functionalism and formalism in linguistics / edited by Michael Darnell... [et al.] / Philadelphia, Pa. : J. Benjamins , 1998
Implantation du formalisme de génération G-TAG / par Frédéric Meunier ; sous la direction de Laurence Danlos / [S.l.] : [s.n.] , 1997
Théorie systémique et microsystèmes linguistiques : vers une modélisation de règles en vue d'applications au français et à l'arabe / par Mohammed Alzahrani ; sous la dir. de Sylviane Cardey / [S.l.] : [s.n.] , 2010
Une Grammaire en chaîne du français : analyse distributionnelle / Morris Salkoff,... / Paris : Dunod , DL 1973, cop. 1973
Vers une formalisation mathématique de l'analyse linguistique microsystémique / par Elizabeth Rodríguez Sánchez ; sous la direction de Sylviane Cardey-Greenfield / [S.l.] : [s.n.] , 2012
Le calcul et la raison : essais sur la formalisation du discours savant / Jean-Claude Gardin / Paris : Éditions de l'École des hautes études en sciences sociales , DL 1991
Formal grammars in linguistics and psycholinguistics 2, Applications in linguistic theory / by W.J.M. Levelt / The Hague : Mouton , 1974
Contributions à la certification des calculs dans R : théorie, preuves, programmation / présentée et soutenue par Assia Mahboubi ; sous la direction de Loïc Pottier / [S.l.] : [s.n.] , 2006
Mathematical logic / Ian Chiswell, Wilfrid Hodges / Oxford : University Press , cop. 2007
Type logical grammar : categorial logic of signs / by Glyn V. Morrill,... / Dordrecht : Kluwer academic publ
Logique, discours et pensée : mélanges offerts à Jean-Blaise Grize / textes recueillis et édités par Denis Miéville et Alain Berrendonner ; avec la collaboration de Christiane Tripet / Berlin : P. Lang , 1997, cop. 1997
Structures mathématiques du langage / Z. S. Harris ; traduit par C. Fuchs / Paris : Dunod , 1971
Formal linguistics and language education : New empirical perspective / [sous la direction de] Andreas Trotzke, Tanja Kupisch / Cham (Suisse) : Springer , C 2020
A study of first class futures : specification, formalisation, and mechanised proofs / par Muhammad Uzair Khan ; sous la direction de Ludovic Henrio et Denis Caromel / Lille : Atelier national de reproduction des thèses , 2011
Les conflits dans la formalisation en linguistique / Sergio Perez Cortes ; sous la direction de Micjel Pêcheux / [Lieu de publication inconnu] : [éditeur inconnu] , 1981
Mathematical models of language / Ferenc Kiefer ed / Frankfurt : Athenau͏̈m , 1973
Représentation des connaissances et linguistique / Gérard Ligozat / Paris : A. Colin , impr. 1994, cop. 1994
L'Analyse logique des langues naturelles : 1968-1978 : anthologie / préparée sous la direction de Frédéric Nef / Paris : Éditions du Centre national de la recherche scientifique , 1984
Slavic languages in formal grammar : proceedings of [the European Conference] FDSL 8.5, Brno 2010 / Markéta Ziková, Mojmír Dočekal (eds.) / Frankfurt a.M : P. Lang , cop. 2012
Contributions à la certification des calculs dans R : théorie, preuves, programmation / présentée et soutenue par Assia Mahboubi / Villeurbanne : [CCSD] , 2006
Langages et semi groupes testables / Carla Selmi ; sous la direction de P. Weil / Grenoble : Atelier national de reproduction des thèses , 1994
Typologie linguistique de quelques notions logiques de base : étude de linguistique formelle / Khaled Aït-Hammou ; sous la direction d'Iegor Reznikoff / [S.l.] : [s.n.] , 1982
Structure propositionnelle et ordre des mots en portugais brésilien et en portugais européen / Ana Maria Cortez Gomes ; sous la dir. de Alain Rouveret / [S.l.] : [s.n.] , [1997]
Faits de langue, problèmes d'acquisition et intervention pédagogique : le cas des temps verbaux, du choix modal et de l'opposition ser/estar en espagnol / David Macias Barres ; sous la direction de Bernard Darbord et de Mercè Pujol Berché / , 2013
Formalisation des relations prédicatives / [publié par le] Groupe RELPRED / Paris : Université Paris 7
Philosophy and grammar : papers on the occasion of the quincentennial of Uppsala university / ed. by Stig Kanger and Sven Öhman, / Dordrecht [etc.] : D. Reidel , cop. 1981
Formaliser les langues avec l'ordinateur : de INTEX à Nooj : actes des sixièmes (Sofia 2003) et septièmes (Tours 2004) journées INTEX-Nooj / sous la direction de Svetla Koeva, Denis Maurel et Max Silberztein / Besançon : Presses universitaires de Franche-Comté , 2007
Formal description of Slavic languages : the fifth conference, Leipzig 2003 / Gerhild Zybatow, Luka Szucsich, Uwe Junghanns... [et al.], eds. / Frankfurt am Main : P. Lang , cop. 2008
La logique et le vivant : les formalismes de représentation des connaissances en biologie / par Simone Bentolila ; sous la direction de Maxime Crochemore / [S.l.] : [s.n.] , 2002
Transcrire, écrire, formaliser 1, / sous la direction de Gilles Col et Sylvester N. Osu / Rennes : Presses universitaires de Rennes , impr. 2011
WCCFL 20 : proceedings of the 20th West Coast conference on formal linguistics : [held at the University of Southern California, February 23-25, 2001] / edited by Karine Megerdoomian and Leora Anne Bar-el / Somerville (Mass.) : Cascadilla Press , 2001
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy / Villeurbanne : [CCSD] , 2011
Interpréter et formaliser : comment parler de la littérature / Raymond Montpetit ; sous la direction de Monsieur le Professeur Mikel Dufrenne / , 1972
Order, Concord and Constituency / ed. by Gerald Gazdar, Ewan Klein, Geoffrey K. Pullum / Dordrecht : Foris , 1983
Représentation formelle avec AZee et contraintes grammaticales pour la langue des signes française / Camille Challant ; sous la direction de Michael Filhol / , 2024
Utilisation des grammaires formelles pour définir les langages de programmation : application aux traducteurs / Ardeshir Shahidi Nameghi ; sous la direction d'Yves Lecerf / , 1985
Initiation mathématique aux grammaires formelles / par Michel Hughes / Paris : Larousse , DL 1972
Formalismes syntaxiques pour le traitement automatique du langage naturel / présenté par Philip Miller, Thérèse Torris / Paris : Hermès , DL 1990
Formaliser les langues avec l'ordinateur : de INTEX à Nooj : actes des sixièmes (Sofia 2003) et septièmes (Tours 2004) journées INTEX-Nooj / sous la direction de Svetla Koeva, Denis Maurel et Max Silberztein / Besançon : Presses universitaires de Franche-Comté
Universalité et grammaire : paradoxe insoluble ou solution matricielle ? : [colloque international éponyme à l'université de Franche-Comté, du 27 au 29 août 2015] / textes réunis et édités par Claire Martinot & Dhaou Ghoul / Paris : Cellule de recherche en linguistique, CRL
Morphogenèse du sens 1, Pour un schématisme de la structure / Jean Petitot-Cocorda ; préface de René Thom / Paris : Presses universitaires de France , DL 1985
Formalisation et philosophie du langage : épistémologie historique des mutations conceptuelles / Béatrice Godart-Wendling / [S. l.] : [s.n.] , [2014]
Processus de substitution markoviens : un modèle statistique pour la linguistique / Thomas Mainguy ; sous la direction de Olivier Catoni / , 2014
Pour une linguistique de l'énonciation Tome 2, Formalisation et opérations de repérage / Antoine Culioli / Limoges : Lambert-Lucas , DL 2020
The Proceedings of the Seventeeth West Coast Conference on Formal Linguistics : conference held at the University of British Columbia / ed. by Kimary Shahin, Susan Blake & Eun-Sook Kim ; publ. for the Stanford Linguistics Association by the Center for the Study of Language and Information / Stanford (Conn.) : CSLI publications , cop. 1999
The Structural tendencies of languages I, General tendencies / by Valter Tauli / Helsinki : Suomalainen Tiedeakatemia , 1958
Proceedings of the 24th West Coast conference on formal linguistics : [held at Simon Fraser University, Vancouver, British Columbia, on march 18-20, 2005 / edited by John Alderete, Chung-hye Han, and Alexei Kochetov / Somerville (Mass.) : Cascadilla Press , 2005
Un module NooJ pour le traitement automatique du chinois : formalisation du vocabulaire et des têtes de groupes nominaux / par Huei-Chi Lin ; sous la co-direction de Max Silberztein et de Zhitang Yang-Drocourt,... / [S.l.] : [s.n.] , 2010
La création et l'interprétation dans la perspective d'une analyse formelle / Geneviève Choquette / Lille : Atelier national de Reproduction des Thèses , 2005
La création et l'interprétation dans la perspective d'une analyse formelle / Geneviève Choquette ; sous la direction de Christiane Chauviré / , 2004
Formal studies in Slavic linguistics / edited by Anastasia Smirnova, Vedrana Mihalic̆ek and Lauren Ressue / Newcastle upon Tyne : Cambridge Scholars , 2010
Perspectives harrissiennes / textes réunis et édités par Claire Martinot, Christiane Marque-Pucheu et Sonia Gerolimich / Paris : Cellule de recherche en linguistique (CRL) , cop. 2016
La reformulation en anglais contemporain : indices linguistiques et constructions discursives / Blandine Pennec ; sous la direction de Martine Shuwer / [S.l.] : [s.n.] , 2006
Langage d'écriture de transducteurs / par Jean Beney ; sous la direction de R. Bouché / [S.l.] : [s.n.] , 1978
Формална граматика на българския език / Петя Осенова, Кирил Симов / София : Институт за паралелна обработка на информацията БАН , 2007
Elements of mathematical linguistics / Aleksej V. Gladkij and Igor A. Mel'cǔk ; edited by John Lehrberger / Berlin : Mouton , cop. 1983
Analyse de contenu et traitement de l'information : les parasitages / par Jean Bouillut / [Paris] : [Association française de calcul] , [1961 ?]
Langages et semi groupes testables / Carla Selmi ; sous la direction de P. Weil / [S.l.] : [s.n.] , 1994
Logic and dialectics : confrontations, connexions, clarifications / Petru Ioan ; [transl. from the Romanian: Carmen Manoliu-Ciobanu, Silvia Manoliu] / Iaşi : Al. I. Cuza University press , 1990
Description formelle de propriétés géométriques / par Tuan Minh Pham ; sous la direction d'Yves Bertot / Lille : Atelier national de reproduction des thèses , 2011
Contribution à l'étude de la modalité en grec moderne : le marqueur να / Rhéa Delveroudi, Irène Tsamadou, Sophie Vassilaki ; Laboratoire de linguistique formelle ..., Unité de formation et de recherches de linguistique / Paris : Université Paris 7 , 1993
Notions sur les grammaires formelles / par Maurice Gross et André Lentin ; préface de Noam Chomsky ; [publié par l'] Institut de Programmation / 2e édition revue et corrigée / Paris : Gauthier-Villars , 1970
Grammaire de la prédication seconde : forme, sens et contraintes / Naoyo Furukawa / Louvain-la-Neuve : Duculot , DL 1996
Structures for semantics / Fred Landman,... / Dordrecht : Kluwer academic publishers , 1991
Aides logicielles pour apprentis scripteurs en langue maternelle et en langue étrangère / François Mangenot ; sous la direction de Jacques Anis / [S.l.] : [s.n.] , 1995
Lambda-Prolog de A à Z... ou presque / Olivier Ridoux / [S.l.] : [s.n.] , 1998
A theory of language and information : a mathematical approach / Zellig Harris / Oxford : Clarendon press , 1991
Formal studies in Slavic linguistics : proceedings of formal description of Slavic languages 7.5 / Gerhild Zybatow, Philip Dudchuk, Serge Minor,... [et al.] (eds.) / Frankfurt am Main : Peter Lang , cop. 2010
Physique du sens : de la théorie des singularités aux structures sémio-narratives / Jean Petitot-Cocorda / Paris : Editions du Centre national de la recherche scientifique , 1992
Le statut du démonstratif en français : analyse formelle et analyse conceptuelle / Annick Philippe Coateval ; sous la direction de Suzanne Allaire / Lille : Atelier national de reproduction des thèses , 1996
Théorie systémique et microsystèmes linguistiques : vers une modélisation de règles en vue d'applications au français et à l'arabe / par Mohammed Alzahrani ; sous la direction de Sylviane Cardey / Lille : Atelier national de reproduction des thèses , 2010
Pour une linguistique de l'énonciation Tome 2, Formalisation et opérations de repérage / Antoine Culioli / Gap : Ophrys , DL 1999
Description formelle de propriétés géométriques / par Tuan Minh Pham / Villeurbanne : [CCSD] , 2015
The Proceedings of the fourteenth West Coast conference on formal linguistics / edited by josé Camacho, Lina Choueiri & Maki Watanabe ; publ. for the Stanford Linguistics Association by the Center for the Study of Language and Information / [Stanford] (Calif.). : Center for the study of language and information publications , cop. 1996
Aspects de la syntaxe A-barre : effets d'intervention et mouvements des quantifieurs / Hans-Georg Obenauer ; sous la direction de Nicolas Ruwet / , 1994
Aspects de la syntaxe A-barre : effets d'intervention et mouvements des quantifieurs / Hans-Georg Obenauer ; sous la direction de Nicolas Ruwet / Lille : Atelier national de reproduction des thèses , 1994
Sciences humaines et formalisation / Alain Le Chapelier ; sous la direction de Jean Gagnepain / [S.l.] : [s.n.] , 1983
Plurality, conjunction and events / by Peter Lasersohn,... / Dordrecht : Kluwer academic publishers , cop. 1995
Karl Bühler : semiotic foundations of language theory / Robert E. Innis / New York : Plenum press , cop. 1982
Introduction to mathematical linguistics / Robert Wall / Englewood Cliffs (N. J.) : Prentice-Hall
Fonctionnement des savoirs sur l'objet d'enseignement à l'intérieur du système didactique : étude, en éducation physique et sportive, de la diversité, fonctionnalité et complémentarité des savoirs sur l'objet athlétique / par Jean-Pierre Barrué ; sous la direction de Richard Lefevre, Yvon Leziart / Grenoble : Atelier national de reproduction des thèses , 1994
CONSTRUCTIONS DE REPRESENTATIONS SEMANTIQUES DE SEQUENCES POLYLEXICALES DE STRUCTURE N1 A N2 DESIGNANT DES INSTRUMENTS A PARTIR DES INDICES PORTES PAR LA PREPOSITION A, LA MORPHO-SEMANTIQUE DES N1 ET N2 ET DE PROPRIETES EXTRAITES SUR CES NOMS : Elaboration d'un lexique hiérarchisé pour l'élaboration de représentations semantiques de noms d'instrument de structure N1 à N2 / Nathalie Gasiglia ; sous la direction de Francois Xavier Testard Vaillant / Lille : Atelier national de Reproduction des Thèses , 1999
Aides logicielles pour apprentis scripteurs en langue maternelle et en langue étrangère / François Mangenot ; sous la direction de Jacques Anis / Lille : Atelier national de reproduction des thèses , 1995
Représentation et formalisation : la critique chomskyenne du structuralisme néo-bloomfieldien / par Jean Pamiès ; sous la dir. de Sylvain Auroux / [S.l.] : [s.n.] , 2001
Formal grammars in linguistics and psycholinguistics 3, Psycholinguistics applications / by W.J.M. Levelt / The Hague : Mouton , 1974
Approche formelle de problèmes liés à la sémantique des langues naturelles / par Jacques Rouault ; [sous la direction de Bernard Vauquois] / , 1971
Categorial grammars and natural language structures / ed. by Richard T. Oehrle, Emmon Bach and Deirdre Wheeler / Dordrecht [etc.] : D. Reidel , cop. 1988
Klipp und klar : Übungsgrammatik Grundstufe Deutsch in 99 Schritten / Christian Fandrych, Ulrike Tallowitz / Stuttgart : Ernst Klett Sprachen , cop. 2008
Lev Jakubinskij, une linguistique de la parole : (URSS, 1920-1930) / textes édités et présentés par Irina Ivanova ; traductions d'Irina Ivanova et Patrick Sériot / Limoges : LL , DL 2012
Expression de la dynamique du discours à l'aide de continuations / Ekaterina Lebedeva ; sous la direction de Philippe de Groote / , 2012
Attenance, gouvernement et mouvement en phonologie : les constituants dans la phonologie et la morphologie de l'occitan / Patrick Sauzet ; sous la dir. de Jean-Roger Vergnaud / [S.l.] : [s.n.] , [1993]
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs / Joelle Abou Faysal ; sous la direction de Frédéric Mallet / , 2022
Automatic natural language parsing / ed. by Karen Sparck Jones,... and Yorick Wilks,... / Chichester : E. Horwood , cop. 1983
Introduction à la linguistique formelle / Raoul Blin / Paris : Hermes science publications , impr. 2009
Handbook of philosophical logic : Topics in the philosophy of language / edited by D. Gabbay,... and F. Guenthner,.... / Dordrecht : D. Reidel , cop. 1989
Language and information / Zellig Harris / New York : Columbia Univiversity Press , 1988
Formalization of grammar in Slavic languages : contributions of the eighth international conference on formal description of Slavic languages, FDSL VIII 2009 : University of Potsdam, December 2-5, 2009 / Peter Kosta, Lilia Schürcks, eds. / Frankfurt am Main : P. Lang , cop. 2011
Mécanismes récursifs dans la relativation : application à une classe de nominalisations / Bertrand du Castel / [S.l.] : [s.n.] , 1977
String analysis of sentence structure / by Zellig S. Harris,... / The Hague : Mouton , 1962
WCCFL 18 : proceedings of the 18th West Coast conference on formal linguistics : [held at the University of Arizona, in Tucson, 1999] / ed. by Sonya Bird, Andrew Carnie, Jason D. Haugen...[et al.] / Sommerville (Ma.) : Cascadilla press , 1999
Procédures de réduction pour les systèmes à base d'automates communicants : formalisation et mise en oeuvre / Arnault Lapitre ; sous la dir. de François Terrier / [S.l.] : [s.n.] , 2002
Physique du sens : de la théorie des singularités aux structures sémio-narratives / Jean Petitot-Cocorda / Paris : Ed. du Centre national de la recherche scientifique , 2000
The formal complexity of natural language / ed. by Walter J. Savitch [et al.] / Dordrecht [etc.] : D. Reidel , 1987
Language form and language function / Frederick J. Newmeyer / Cambridge (Mass.) : MIT Press , cop. 1998
Topologie et grammaires formelles de l'allemand / Kim Gerdes / Lille : Atelier national de Reproduction des Thèses , 2003
Le malais : études en diachronie et représentation formelle / par Mohd Saupi Hj Md Said ; sous la direction de Sylviane Cardey-Greenfield / Lille : Atelier national de reproduction des thèses , 2009
Generating and simplifying sentences / Shashi Narayan ; sous la direction de Claire Gardent / , 2014
Procédures de réduction pour les systèmes à base d'automates communicants : formalisation et mise en oeuvre / Arnault Lapitre ; sous la direction de François Terrier / Grenoble : Atelier national de reproduction des thèses , 2002
Notions sur les grammaires formelles / par Maurice Gross et André Lentin,... ; [introduction, en langue anglaise, par Noam Chomsky] / Paris : Gauthier-Villars
Transcrire, écrire, formaliser 2, : [25e colloque du CerLiCO, juin 2011, université d'Orléans] / sous la direction de Fabienne Toupin et Catherine Collin / Rennes : Presses universitaires de Rennes , DL 2021
Le futur grec / par Victor Magnien / Paris : Honoré Champion , 1912
Formal grammar : theory and implementation / ed. by Robert Levine / New York [etc.] : Oxford University press , 1992
Head-driven phrase structure grammar / Carl Pollard and Ivan A. Sag / Stanford (Calif.) : Center for the study of language and information
Levels of syntactic representation / Robert May, Jan Koster, eds / Dordrecht : Foris , 1982
La formalisation des langues : l'approche NooJ / Max Silberztein / London : ISTE editions
Formalny opis języka polskiego : teoria i implementacja / Adam Przepiórkowski, Anna Kupść, Małgorzata Marciniak,... [et al.] / Warszawa : Akademicka Oficyna Wydawnicza Exit , 2002
Gestes mentaux et réseaux symboliques : à la recherche des traces enfouies dans l'entrelacs du langage / Antoine Culioli, aut. ; Antoine Culioli, participant / [Villejuif] : CNRS, Cultures, langues, textes [distrib.] , [DL 2012]
Formal languages and applications / Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun (Eds) / Berlin : Springer-Verlag , cop. 2004
L'adverbial temporel en DONGAN en coréen : description et formalisation / par Hyunjung Son ; sous la direction de Irène Tamba / Lille : Atelier national de Reproduction des Thèses , 2007
Mathematical structures of language / Zellig Harris / New York : Interscience
Dynamiques et structures en langue / David Piotrowski / Paris : CNRS , impr.2002, cop.1997,
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy ; sous la direction d'Anne-Marie Dery-Pinna et de Michel Riveill / Lille : Atelier national de reproduction des thèses , 2011
Q-grammaires : un outil pour l'énumération / par Philippe Duchon ; sous la direction de Maylis Delest / , 1998
Computational and mathematical linguistics : Proceedings / A. Zampolli, N. Calzolari, editors / Firenze : Leo S. Olschki , 1977
Logics and languages / M.J. Cresswell,... / London : Methuen , cop. 1973
La reformulation en anglais contemporain : indices linguistiques et constructions discursives / Blandine Pennec ; sous la direction de Martine Shuwer / Lille : Atelier national de reproduction des thèses , 2007
Q-grammaires et polyominos parallélogrammes / par Jean-Philippe Dubernard ; sous la dir. de Maylis Delest / , 1993
La logique naturelle : enjeux et perspectives : actes du colloque Neuchâtel 12-13 septembre 2008 / Denis Mieville éditeur / Neuchâtel : Université de Neuchâtel , cop. 2010
Formalisation syntaxique et sémantique des constructions à verbes supports en français et en espagnol dans une grammaire catégorielle d'unification / Martine Émorine ; sous la direction de Gabriel G. Bès / , 1992
The vastness of natural languages / D. Terence Langendoen and Paul M. Postal / Oxford : B. Blackwell , 1984
Le statut du démonstratif en français : analyse formelle et analyse conceptuelle / Annick Philippe Coateval ; sous la direction de Suzanne Allaire / [S.l.] : [s.n.] , 1996
La linguistique cartésienne : un chapitre de l'histoire de la pensée rationaliste ; suivi de La nature formelle du langage / Noam Chomsky ; traduits de l'anglais par Nelcya Delanoë et Dan Sperber / Paris : Editions du Seuil , DL 1969
La reformulation en anglais contemporain : indices linguistiques et constructions discursives / Blandine Pennec ; sous la direction de Martine Shuwer / Rennes : Université Rennes 2 , 2007
Etude d'un éditeur transcripteur conditionné Braille par application de la théorie des réseaux de transition / par Patrick Onanga / [S.l.] : [s.n.] , 1986
Quantifying language : a researcher's and teacher's guide to gathering language data and reducing it to figures / Phil Scholfield / Clevedon, Avon, [England] : Multilingual Matters , c1995
Attenance, gouvernement et mouvement en phonologie : les constituants dans la phonologie et la morphologie de l'occitan / Patrick Sauzet ; avec une préface de Jean-Roger Vergnaud / Montpellier : Centre d'estudis occitans , 1993
Analogical classification in formal grammar / Matías Guzmán Naranjo / Berlin : Language Science Press
Le malais : études en diachronie et représentation formelle / par Mohd Saupi Hj Md Said ; sous la dir. de Sylviane Cardey-Greenfield / [S.l.] : [s.n.] , 2009
Linguaggi e formalizzazioni : atti del Convegno internazionale di studi [della] Società di linguistica italiana, Catania, 17-19 settembre 1976 / a cura di Daniele Gambarara, Franco Lo Piparo e Giulianella Ruggiero / Roma : Bulzoni , 1979
Fonctionnement des savoirs sur l'objet d'enseignement à l'intérieur du système didactique : étude, en éducation physique et sportive, de la diversité, fonctionnalité et complémentarité des savoirs sur l'objet athlétique / par Jean-Pierre Barrué ; sous la direction de Richard Lefevre, Yvon Leziart / [S.l] : [s.n] , [1994]
Etude d'un éditeur transcripteur conditionné Braille par application de la théorie des réseaux de transition / par Patrick Onanga / Grenoble : Atelier national de reproduction des thèses , 1986
Étude des valeurs aspecto-temporelles du coréen dans le modèle cognitif et formel : -eoss- et -teo- / Jungyeon Suh ; sous la direction de Jean-Pierre Desclés / [Lieu d'édition inconnu] : [éditeur inconnu] , 2005
Aristotelian logic / William T. Parry and Edward A. Hacker / Albany : State University of New York Press
Unification grammars / Nissim Francez, Shuly Wintner / Cambridge : Cambridge University Press , cop. 2012
Vers une histoire du sujet : analyse de la constitution et du fonctionnement de la notion de détermination dans la grammaire / Claudine Haroche / , 1978
Système, norme et parole ; suivi de Forme et substance dans les sons du langage / Eugenio Coseriu ; traduit de l'espagnol par Xavier Perret / Limoges : Lambert-Lucas , DL 2021
Structure propositionnelle et ordre des mots en portugais brésilien et en portugais européen / Ana Maria Cortez Gomes ; sous la direction de Alain Rouveret / Lille : Atelier national de reproduction des thèses , 1997
Précis de grammaire logique / Claude Vincenot / Paris : H. Champion , 1998, cop 1998
Logos et formalisation du langage / Dominique Dubarle / Paris : Klincksieck , 1977, cop. 1977
A study of first class futures : specification, formalisation, and mechanised proofs / par Muhammad Uzair Khan ; sous la direction de Ludovic Henrio et Denis Caromel / [S.l.] : [s.n.] , 2011
Théorie des opérations énonciatives et modélisation : cheminement d'une réflexion linguistique / Lionel Dufaye / Paris : Ophrys , DL 2008, cop. 2009
La notion de prédicat / Jean-Jacques Franckel ; Antoine Culioli, Robert Iljic, Daniel Lebaud... [et al.] ; Laboratoire de linguistique formelle ..., Unité de formation et de recherches de linguistique / Paris : Université Paris 7 , 1989
Introduction à la théorie des langages / par René Moreau / Paris : Classiques Hachette , DL 1975
Éléments de linguistique française : syntaxe / par Jean Dubois,... et Françoise Dubois-Charlier,... / Paris : Librairie Larousse , DL 1970
Formal semantics and pragmatics for natural languages / ed. by F. Guenthner,... and S.J. Schmidt,.. / Dordrecht : D. Reidel
Un module NooJ pour le traitement automatique du chinois : formalisation du vocabulaire et des têtes de groupes nominaux / par Huei-Chi Lin ; sous la co-direction de Max Silberztein et de Zhitang Yang-Drocourt,... / Lille : Atelier national de reproduction des thèses , 2012
Les grammaires de propriétés : des contraintes pour le traitement automatique des langues naturelles / Philippe Blache / Paris : Hermes science , DL 2001
Computational lexical semantics / ed. by Patrick Saint-Dizier, Evelyne Viegas / Cambridge : Cambridge University Press , cop. 1995
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / Stuart M. Shieber / Cambridge Mass : MIT press , cop. 1992
Langue et information / Zellig Sabbetai Harris ; traduit par Amr Helmy Ibrahim & Claire Martinot ; avec la participation de Marie Fernandes-Adam, Hassan Filali-Sadki et Sidonie Voukamba ; introduction et notes par Amr Helmy Ibrahim / Paris : Cellule de recherche en linguistique
Parsing techniques : a practical guide / Dick Grune, Ceriel J.H. Jacobs / New York : Ellis Horwood , 1990
Les nouvelles syntaxes : grammaires d'unification et analyse du français / Anne Abeillé / Paris : A. Colin , DL 1993
Семантичната категория "степен" и нейното изразяване в съврененния български език / Мария Чоролеева / София : Акад. изд. "Проф. Марин Дринов" , 2007
Les linguistiques contemporaines : repères théoriques / par Catherine Fuchs et Pierre Le Goffic / Nouvelle édition entièrement remise à jour / Paris : Hachette supérieur
Formal grammars in linguistics and psycholinguistics 1, An introduction to the theory of formal languages and automata / by W.J. M. Levelt / The Hague : Mouton , 1974
L'altérité dans les théories de l'énonciation / [édité par] Lionel Dufaye et Lucie Gournay / Paris : Ophrys , DL 2010
Resonances : Conférence d'Antoine Culioli, 6 mai 2011 / Antoine Culioli, aut. ; Antoine Culioli, participant / [Villejuif] : CNRS, Cultures, langues, textes [distrib.] , [DL 2012]
L'analyse formelle des langues naturelles = = Introduction to the formal analysis of natural languages : / Noam Chomsky, George A. Miller ; traduction de Ph. Richard, N. Ruwet / Paris : Éditions Mouton , 1968
Étude des valeurs aspecto-temporelles du coréen dans un modèle cognitif et formel : -eoss- et -teo- / par Jungyeon Suh / Lille : Atelier national de Reproduction des Thèses , 2006
Grammatical formalisms : issues in migration and expressivity / edited by Stella Markantonatou and Louisa Sadler / Luxembourg : Office for official publications of the European Communities , 1994
Représentation et formalisation : la critique chomskyenne du structuralisme néo-bloomfieldien / par Jean Pamiès / Lille : Atelier national de Reproduction des Thèses , 2003
Contributions à la certification des calculs dans R : théorie, preuves, programmation / présentée et soutenue par Assia Mahboubi ; sous la direction de Loïc Pottier / Grenoble : Atelier national de reproduction des thèses , 2006
Attenance, gouvernement et mouvement en phonologie : les constituants dans la phonologie et la morphologie de l'occitan / Patrick Sauzet ; sous la direction de Jean-Roger Vergnaud / Lille : Atelier national de reproduction des thèses , 1993
The proceedings of the Sixteenth West Coast Conference on Formal Linguistics : conference held at the University of Washington, 1997 / ed. by Emily Curtis, James Lyle and Gabriel Webster / Stanford (Calif.) : Center for the Study of Language and Information , cop. 1998
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / Stuart M. Shieber / Cambridge (Mass.) : The MIT Press , 2003
Questions / edited by Henry Hiz / Dordrecht : D. Reidel Publishing Company
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / par Cédric Joffroy ; sous la direction d'Anne-Marie Dery-Pinna et de Michel Riveill / [S.l.] : [s.n.] , 2011
Two-Step Approaches to Natural Language Formalisms / by Frank Morawietz / Berlin : Mouton de Gruyter
Klipp und klar : Übungsgrammatik Grundstufe Deutsch in 99 Schritten / Christian Fandrych ; Ulrike Tallowitz / 1. Auflage / Stuttgart : Klett Internat., Ed. Deutsch , 2000
Logique, langage et argumentation / par Michel Meyer / Paris : Classiques Hachette , DL 1982
Implantation du formalisme de génération G-TAG / Frédéric Meunier le 1997 [ Paris 7 ]
Structure propositionnelle et ordre des mots en portugais brésilien et en portugais européen / Ana Maria Cortez Gomes le 1997 [ Paris 8 ]
Aides logicielles pour apprentis scripteurs en langue maternelle et en langue étrangère / François Mangenot le 1995 [ Paris 10 ]
Q-grammaires : un outil pour l'énumération / Philippe Duchon le 1998 [ Bordeaux 1 ]
Processus de substitution markoviens : un modèle statistique pour la linguistique / Thomas Mainguy le 2014 [ Paris 6 ]
Description formelle de propriétés géométriques / Tuan Minh Pham le 2011 [ Nice ]
Représentation formelle avec AZee et contraintes grammaticales pour la langue des signes française / Camille Challant le 2024 [ université Paris-Saclay ]
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs / Joelle Abou Faysal le 2022 [ Université Côte d'Azur ]
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle / Cédric Joffroy le 2011 [ Nice ]
A study of first class futures : specification, formalisation, and mechanised proofs / Muhammad Uzair Khan le 2011 [ Nice ]
Topologie et grammaires formelles de l'allemand / Kim Gerdes le 2002 [ Paris 7 ]
La logique et le vivant : les formalismes de représentation des connaissances en biologie / Simone Bentolila le 2002 [ Université de Marne-la-Vallée (1991-2019) ]
La création et l'interprétation dans la perspective d'une analyse formelle / Geneviève Choquette le 2004 [ Paris 1 ]
Représentation et formalisation : la critique chomskyenne du structuralisme néo-bloomfieldien / Jean Pamiès le 2001 [ Paris 7 ]
Q-grammaires et polyominos parallélogrammes / Jean-Philippe Dubernard le 1993 [ Bordeaux 1 ]
Langages et semi groupes testables / Carla Selmi le 1994 [ Paris 7 ]
Generating and simplifying sentences / Shashi Narayan le 2014 [ Université de Lorraine ]
Théorie systémique et microsystèmes linguistiques : vers une modélisation de règles en vue d'applications au français et à l'arabe / Mohammed Alzahrani le 2010 [ Besançon ]
Étude des valeurs aspecto-temporelles du coréen dans le modèle cognitif et formel : -eoss- et -teo- / Jungyeon Suh le 2005 [ Paris 4 ]
Autour des syntagmes nominaux sémantiquement pluriels en chinois mandarin et de leurs interprétations collective et distributive / Yan Li le 2016 [ Sorbonne Paris Cité ]
Etude d'un éditeur transcripteur conditionné Braille par application de la théorie des réseaux de transition / Patrick Onanga le 1986 [ Lille 1 ]
Le malais : études en diachronie et représentation formelle / Mohd Saupi Hj Md le 2009 [ Besançon ]
La reformulation en anglais contemporain : indices linguistiques et constructions discursives / Blandine Pennec le 2006 [ Rennes 2 ]
Contributions à la certification des calculs dans R : théorie, preuves, programmation / Assia Mahboubi le 2006 [ Nice ]
Le statut du démonstratif en français : analyse formelle et analyse conceptuelle / Annick Philippe Coateval le 1996 [ Rennes 2 ]
Expression de la dynamique du discours à l'aide de continuations / Ekaterina Lebedeva le 2012 [ Université de Lorraine ]
Procédures de réduction pour les systèmes à base d'automates communicants : formalisation et mise en oeuvre / Arnault Lapitre le 2002 [ Paris 11 ]
Attenance, gouvernement et mouvement en phonologie : les constituants dans la phonologie et la morphologie de l'occitan / Patrick Sauzet le 1993 [ Paris 8 ]
Formalisation syntaxique et sémantique des constructions à verbes supports en français et en espagnol dans une grammaire catégorielle d'unification / Martine Émorine le 1992 [ Clermont-Ferrand 2 ]
Aspects de la syntaxe A-barre : effets d'intervention et mouvements des quantifieurs / Hans-Georg Obenauer le 1994 [ Paris 8 ]
Les effects et les handlers dans le langage naturel / Jiří Maršík le 2016 [ Université de Lorraine ]
Fonctionnement des savoirs sur l'objet d'enseignement à l'intérieur du système didactique : étude, en éducation physique et sportive, de la diversité, fonctionnalité et complémentarité des savoirs sur l'objet athlétique / Jean-Pierre Barrué le 1994 [ Toulouse 3 ]
Un module NooJ pour le traitement automatique du chinois : formalisation du vocabulaire et des têtes de groupes nominaux / Huei-Chi Lin le 2010 [ Besançon ]
Faits de langue, problèmes d’acquisition et intervention pédagogique : le cas des temps verbaux, du choix modal et de l’opposition ser/estar en espagnol / David Macias Barres le 2013 [ Paris 10 ]
[5FP/22] Participation aux stages sur les processus et sur les algèbres de Boole au Centre de Mathématique Sociale et de Statistique de l'EPHE (1964-1966)