Explore: Langage Formel
Discover books, insights, and more — all in one place.
Learn more about Langage Formel with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “langage-formel”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Machines, languages, and computation
By Peter J. Denning

“Machines, languages, and computation” Metadata:
- Title: ➤ Machines, languages, and computation
- Author: Peter J. Denning
- Language: English
- Number of Pages: Median: 601
- Publisher: Prentice-Hall
- Publish Date: 1978
- Publish Location: Englewood Cliffs, N.J
“Machines, languages, and computation” Subjects and Themes:
- Subjects: ➤ Machine theory - Formal languages - Langages formels - Grammaire formelle - LANGAGE CF - LANGAGE ETAT FINI - Machine Turing - Théorie ensemble - Fonction récursive - Automates mathématiques, Théorie des - Automate fini - Langage formel - Analyse syntaxique - Computers
Edition Identifiers:
- The Open Library ID: OL4549695M
- Online Computer Library Center (OCLC) ID: 3447186
- Library of Congress Control Number (LCCN): 77018128
- All ISBNs: 9780135422588 - 0135422582
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Machines, languages, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2The grammar of English predicate complement constructions
By Peter S. Rosenbaum

“The grammar of English predicate complement constructions” Metadata:
- Title: ➤ The grammar of English predicate complement constructions
- Author: Peter S. Rosenbaum
- Language: English
- Number of Pages: Median: 128
- Publisher: M.I.T. Press
- Publish Date: 1967
- Publish Location: Cambridge, Mass
“The grammar of English predicate complement constructions” Subjects and Themes:
- Subjects: ➤ Grammaire - Grammaire formelle - Anglais (Langue) - Anglais - Prédicat - Linguistique - Langage naturel - Étude et enseignement - Langage formel - Logique - Verbe - English language - Syntax - Syntaxe - Complement - Linguistics
Edition Identifiers:
- The Open Library ID: OL5548493M
- Online Computer Library Center (OCLC) ID: 268391
- Library of Congress Control Number (LCCN): 67027350
Access and General Info:
- First Year Published: 1967
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The grammar of English predicate complement constructions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Introduction to automata theory, languages, and computation
By John E. Hopcroft, Jeffrey D. Ullman and Rajeev Motwani

“Introduction to automata theory, languages, and computation” Metadata:
- Title: ➤ Introduction to automata theory, languages, and computation
- Authors: John E. HopcroftJeffrey D. UllmanRajeev Motwani
- Languages: English - ger
- Number of Pages: Median: 525
- Publisher: ➤ Addison-Wesley - Pearson/Addison-Wesley - Addison Wesley - Pearson Education, Limited - Pearson Education Deutschland - Pearson/Addison Wesley
- Publish Date: ➤ 1979 - 1998 - 1999 - 2001 - 2002 - 2003 - 2006 - 2007
- Publish Location: Boston - USA - Reading, Mass
“Introduction to automata theory, languages, and computation” Subjects and Themes:
- Subjects: ➤ Computational complexity - Formal languages - Machine theory - Programmeren (computers) - Computers - Langages formels - Automates mathématiques, Théorie des - Complexité algorithmique - Langage formel - Formele talen - Lenguajes formales - Théorie des automates - Automate mathématique - Teoría de las máquinas - Cellulaire automaten - Complexité de calcul (Informatique) - Artificial intelligence - Mathematical theory of computation - Computers - General Information - Computer Books: General - Computer Science - Logic - Computers / Computer Science - Programming languages (electronic computers) - Computer mathematics - Mathematical programming & operations research - Komplexitätstheorie - Formale sprache - Automatentheorie - Qa267 .h56 2007 - 511.3/5 - St 130 - Dat 500f - St 136 - Dat 517f - Dat 550f - Dat 555f - Nonfiction
Edition Identifiers:
- The Open Library ID: ➤ OL53447274M - OL53447272M - OL28965127M - OL9764313M - OL24357442M - OL4748554M - OL6795097M - OL25167962M
- Online Computer Library Center (OCLC) ID: 4549363 - 69013079
- Library of Congress Control Number (LCCN): 2006014263 - 00064608 - 78067950
- All ISBNs: ➤ 9783827370204 - 9780201029888 - 9780321210296 - 0321455363 - 0201441241 - 3827370205 - 9780201441246 - 9780321455369 - 0321210298 - 020102988X
First Setence:
"Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, and computational complexity."
Author's Alternative Names:
"John Edward Hopcroft" and "Jeff Ullman"Access and General Info:
- First Year Published: 1979
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to automata theory, languages, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Automata-Theoretic Aspects of Formal Power Series
By Arto Salomaa

“Automata-Theoretic Aspects of Formal Power Series” Metadata:
- Title: ➤ Automata-Theoretic Aspects of Formal Power Series
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 171
- Publisher: Springer-Verlag - Springer
- Publish Date: 1978 - 2011
- Publish Location: New York
“Automata-Theoretic Aspects of Formal Power Series” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Power series - Formal languages - Potenzreihe - Formale Potenzreihe - Formale Sprache - Théorie automate - Automat (Automatentheorie) - Langages formels - Machines séquentielles, Théorie des - Langage formel - Séries de puissances - SERIE PUISSANCE - Machine séquentielle - Automatentheorie - Sequentielle Logik
Edition Identifiers:
- The Open Library ID: OL28124263M - OL28136811M - OL4715851M
- Library of Congress Control Number (LCCN): 78002214
- All ISBNs: ➤ 0387902821 - 9780387902821 - 1461262666 - 1461262658 - 9781461262664 - 9781461262657
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata-Theoretic Aspects of Formal Power Series at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Jewels are forever
By Arto Salomaa

“Jewels are forever” Metadata:
- Title: Jewels are forever
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Springer - Springer-Verlag Telos
- Publish Date: 1999
- Publish Location: New York - Berlin
“Jewels are forever” Subjects and Themes:
- Subjects: ➤ Bibliography - Computer science - Bibliographie - Informatique - Complexité - Combinatoire - Langage formel - Algorithmique - Langages formels - Automates mathématiques, Théorie des - Automate fini - Theoretische Informatik
- People: Arto Salomaa
Edition Identifiers:
- The Open Library ID: OL21224663M - OL12809583M
- Online Computer Library Center (OCLC) ID: 41361428
- Library of Congress Control Number (LCCN): 99023730
- All ISBNs: 3540659846 - 9783540659846
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Jewels are forever at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6L systems
By Grzegorz Rozenberg and Arto Salomaa

“L systems” Metadata:
- Title: L systems
- Authors: Grzegorz RozenbergArto Salomaa
- Language: English
- Number of Pages: Median: 343
- Publisher: Springer-Verlag - Springer
- Publish Date: 1974
- Publish Location: New York - Berlin
“L systems” Subjects and Themes:
- Subjects: ➤ Formele talen - Systeme de Lindenmayer - Congres - L systems - Lindenmayer-System - Taalwetenschap - Systemes de Lindenmayer - Syste me Lindenmayer - Syste me L. - Grammaire alge brique - Syste mes de Lindenmayer - Biologie - Automate - Syste me de Lindenmayer - Congre s. - Langage formel
Edition Identifiers:
- The Open Library ID: OL5054258M - OL12771126M
- Library of Congress Control Number (LCCN): 74016417
- All ISBNs: 9783540068679 - 3540068678 - 0387068678 - 9780387068671
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find L systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
By Kesav V. Nori

“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings
- Author: Kesav V. Nori
- Language: English
- Number of Pages: Median: 420
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990 - 1991
- Publish Location: New York - Berlin
“Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Computer software - Algorithme géométrique - Informatique répartie - Sémantique langage programmation - Congrès - Automate - Langage formel - Informatique - Théorie programmation - Informatica - Concurrence - Programmatuurtechniek - Logiciels - Algorithme parallèle - Logique
Edition Identifiers:
- The Open Library ID: OL19018695M - OL10153383M
- Online Computer Library Center (OCLC) ID: 22917943
- All ISBNs: 9780387534879 - 0387534873
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Automata, Languages and Programming (vol. # 3580)
By Luís Caires, Catuscia Palamidessi and Moti Yung

“Automata, Languages and Programming (vol. # 3580)” Metadata:
- Title: ➤ Automata, Languages and Programming (vol. # 3580)
- Authors: Luís CairesCatuscia PalamidessiMoti Yung
- Language: English
- Number of Pages: Median: 1477
- Publisher: Springer
- Publish Date: 2005
“Automata, Languages and Programming (vol. # 3580)” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Computational complexity - Information theory - Data structures (Computer science) - Software engineering - Theorie des Automates mathematiques - Machine theory - Programmation - COMPUTERS - Programming - Langages formels - Theorie des automates - Lissabon (2005) - Congres - Langage formel - Informatique - Open Source - Algorithme d'approximation - Software Development & Engineering - Tools - Kongress - General - Programmation (Informatique) - Congresses - Computer programming - Theoretische Informatik - Formal languages - Computer algorithms - Formal languages (Computers)
Edition Identifiers:
- The Open Library ID: OL9055733M
- Online Computer Library Center (OCLC) ID: 61176039 - 60846329
- Library of Congress Control Number (LCCN): 2005928673
- All ISBNs: 3540275800 - 9783540275800
First Setence:
"A holographic reduction [V04] between two computational problems is a reduction that preserves the sum of the solutions without preserving any correspondences among the individual solutions."
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, Languages and Programming (vol. # 3580) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Developments in language theory
By Conference on Developments in Language Theory (8th 2004 Auckland, N.Z.)

“Developments in language theory” Metadata:
- Title: ➤ Developments in language theory
- Author: ➤ Conference on Developments in Language Theory (8th 2004 Auckland, N.Z.)
- Language: English
- Number of Pages: Median: 429
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin - New York
“Developments in language theory” Subjects and Themes:
- Subjects: ➤ Congresses - Formal languages - Informatique - Infinity - Langages formels - Logic - Congres - MATHEMATICS - Langage formel
Edition Identifiers:
- The Open Library ID: OL3316920M
- Online Computer Library Center (OCLC) ID: 57307750
- Library of Congress Control Number (LCCN): 2004116341
- All ISBNs: 9783540240143 - 3540240144
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Developments in language theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10An analytical description of CHILL, the CCITT high level language
By Paul Branquart

“An analytical description of CHILL, the CCITT high level language” Metadata:
- Title: ➤ An analytical description of CHILL, the CCITT high level language
- Author: Paul Branquart
- Language: English
- Number of Pages: Median: 277
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“An analytical description of CHILL, the CCITT high level language” Subjects and Themes:
- Subjects: ➤ CHILL (Computer program language) - CCITT - Langage algorithmique - CHILL (Langage de programmation) - Linguagens De Programacao (Computadores) - Langage évolué - Langage formel - CHILL (Programmiersprache) - CHILL
Edition Identifiers:
- The Open Library ID: OL3481436M
- Online Computer Library Center (OCLC) ID: 8195412
- Library of Congress Control Number (LCCN): 82000784
- All ISBNs: 9780387111964 - 0387111964
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find An analytical description of CHILL, the CCITT high level language at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Grammar and L forms
By Derick Wood

“Grammar and L forms” Metadata:
- Title: Grammar and L forms
- Author: Derick Wood
- Language: English
- Number of Pages: Median: 314
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“Grammar and L forms” Subjects and Themes:
- Subjects: ➤ Formal languages - Langages formels - Grammaire algébrique - Automate - Langage formel - Langage algébrique - Formale Sprache
Edition Identifiers:
- The Open Library ID: OL4105734M
- Online Computer Library Center (OCLC) ID: 6626483
- Library of Congress Control Number (LCCN): 80020426
- All ISBNs: 0387102337 - 9780387102337
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Grammar and L forms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992
By W. Kuich

“Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992” Metadata:
- Title: ➤ Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992
- Author: W. Kuich
- Language: English
- Number of Pages: Median: 721
- Publisher: Springer
- Publish Date: 1992
“Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992” Subjects and Themes:
- Subjects: ➤ Machine theory - Algorithme géométrique - Programmation - Théorie automate - Algorithme graphe - Calcul parallèle - Grammaire graphe - Congrès - Langages formels - Automates mathématiques, Théorie des - Calculabilité - Computer programming - Analyse algorithme - Développement logiciel - Langage formel - Calcul formel - Parallélisme - Réseau Petri - Kongress - Logique - Programmation (Informatique) - Automate fini - Congresses - Programmiersprache - Ordinateurs - Automatentheorie - Formal languages - Complexité calcul - Théorie des automates - Informatik - Programming languages (Electronic computers)
Edition Identifiers:
- The Open Library ID: OL10153880M
- Online Computer Library Center (OCLC) ID: 26095705
- Library of Congress Control Number (LCCN): 92021890
- All ISBNs: 0387557199 - 9780387557199
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Simple program schemes and formal languages
By Joost Engelfriet

“Simple program schemes and formal languages” Metadata:
- Title: ➤ Simple program schemes and formal languages
- Author: Joost Engelfriet
- Language: English
- Number of Pages: Median: 254
- Publisher: Springer-Verlag
- Publish Date: 1974
- Publish Location: New York - Berlin
“Simple program schemes and formal languages” Subjects and Themes:
- Subjects: ➤ Computer programming - Formal languages - Théorie programmation - Langages formels - Programmation (Informatique) - Ordinateurs - Schéma programme - Langage formel - Programmation
Edition Identifiers:
- The Open Library ID: OL5231625M
- Online Computer Library Center (OCLC) ID: 1230864
- Library of Congress Control Number (LCCN): 75301752
- All ISBNs: 0387069534 - 9780387069531
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Simple program schemes and formal languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14A study in string processing languages
By Paul Klint

“A study in string processing languages” Metadata:
- Title: ➤ A study in string processing languages
- Author: Paul Klint
- Language: English
- Number of Pages: Median: 165
- Publisher: Springer-Verlag
- Publish Date: 1985
- Publish Location: New York - Berlin
“A study in string processing languages” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Text processing (Computer science) - SUMMER - Traitement de texte - Tecnicas De Processamento De Textos Por Computador - Programmiersprache - Langages de programmation - Traitement texte - Langage formel - Linguagens De Programacao (Geral) - Ciencia Da Computacao Ou Informatica - Traitement chaîne - Langage programmation - Computacao (Metodologia E Tecnicas) - Langage de programmation - Zeichenkette - Textverarbeitung
Edition Identifiers:
- The Open Library ID: OL2545754M
- Online Computer Library Center (OCLC) ID: 1011918130 - 12810174
- Library of Congress Control Number (LCCN): 85027606
- All ISBNs: 0387160418 - 9780387160412
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A study in string processing languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Automata, languages and programming
By Pierpaolo Degano

“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Author: Pierpaolo Degano
- Language: English
- Number of Pages: Median: 862
- Publisher: Springer
- Publish Date: 1997
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Réécriture - Programmation - Cryptographie - Automate (informatique) - Calcul parallèle - Congrès - Langages formels - Automates mathématiques, Théorie des - Automate - Langage formel - Informatique - [congrès] - Concurrence - Théorie des automates - Réseau Petri - Langage de programmation - Routage - Ordinateurs - Programmation en logique - Complexité calcul - Sémantique - Machine theory - Formal languages - Computer programming - Congresses - Abstracte automaten - Programmeertalen - Computer science - Computer networks - Information theory
Edition Identifiers:
- The Open Library ID: OL9712299M
- Online Computer Library Center (OCLC) ID: 37415100 - 327055612
- All ISBNs: 3540631658 - 9783540631651
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, languages and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Machines, languages, and complexity
By International Meeting of Young Computer Scientists (5th 1988 Smolenice, Slovakia)

“Machines, languages, and complexity” Metadata:
- Title: ➤ Machines, languages, and complexity
- Author: ➤ International Meeting of Young Computer Scientists (5th 1988 Smolenice, Slovakia)
- Language: English
- Number of Pages: Median: 244
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Machines, languages, and complexity” Subjects and Themes:
- Subjects: ➤ Computational complexity - Computers - Congresses - Programming languages (Electronic computers) - Machine abstraite - Cryptographie - Algorithmique - Congrès - Intelligence artificielle - Ordinateurs - Langages de programmation - Langage formel - Complexité calcul - Complexité de calcul (Informatique)
Edition Identifiers:
- The Open Library ID: OL2200009M
- Online Computer Library Center (OCLC) ID: 20170890 - 427371684
- Library of Congress Control Number (LCCN): 89021581
- All ISBNs: 038751516X - 9780387515168
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Machines, languages, and complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Laura Chaubard
Polytechnique". Chaubard, Laura (2007-01-01). "Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique". Retrieved
Horacio Vaggione
(Horacio Vaggione), in Musique, rationalité, langage, Cahiers de philosophie du langage n° 3 (1998) Formel / informel, musique et philosophie (M. Solomos
Makis Solomos
SEBESTIK Jan (ed)., Musique, rationalité, langage : L'harmonie, du monde au matériau, Cahiers de philosophie du langage (No 3), Paris, L’Harmattan, 1998; (pp
Regula Tschumi
noir, Paris: Editions Centre Pompidou, pp. 56–61. 2010 Ataa Oko et le langage formel des Ga in: Collection de l'art brut (ed.), Ataa Oko. Exhibition catalogue
Swedish phonology
contrasts based solely on difference in position of stress: formel /ˈfɔrmɛl/ 'formula' formell /fɔrˈmɛl/ 'formal' Primary stressed syllables are always metrically
Gérard Huet
equational proof system in 1978–1984 with Jean-Marie Hullot. He led the Formel project in the 1980s, which developed the Caml programming language. He
Axiom (computer algebra system)
Gilles Villard (1987). Scratchpad II: Présentation d'un nouveau langage de calcul formel. TIM (Research report) (in French). IMAG, Grenoble Institute of
Serialism
For example, Stockhausen's early serial works, such as Kreuzspiel and Formel, "advance in unit sections within which a preordained set of pitches is
Herman Braun-Vega
1999). "Un langage, des styles". Verso arts et lettres (in French). No. 15. pp. 2–5. Herman Braun-Vega [...] ne renoue pas avec le langage pictural de
AltaRica
de l'Espace (SUPAERO). Pagetti, Claire (2004). Extension temps réel du langage AltaRica (Thesis). École Centrale de Nantes et de l'Université de Nantes