Automata on infinite words :: SCD d'Orléans

Automata on infinite words

Automata on infinite words

Uloženo v:

Podrobná bibliografie
Korporativní autor:	École de printemps d'informatique théorique :Le Mont-Dore, Puy-de-Dôme
Další autoři:	Nivat, Maurice, 1937-2017, informaticien (Šéfredaktor, odpovědný redaktor), Perrin, Dominique, 1946-...., professeur de mathématiques et informatique (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais Français
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 192
Témata:	Informatique Automates mathématiques, Théorie des Logique symbolique et mathématique Problèmes des mots (mathématiques) Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automata on infinite words, Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984, 1985, Berlin, Springer, 1 vol. (IV-215 p.), Lecture notes in computer science, 3-540-15641-0 • Automata on Infinite Words, Texte imprimé, 9783662207819

Podobné jednotky

Automata, logics, and infinite games
Autor: Grädel, Erich, 1958-

Implementation and application of automata : 7th International Conference, CIAA 2002, Tours, France, July 3 5, 2002 : pevised papers

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
Autor: Wood, Derick, 1940-, a další

Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings

Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

Automata, languages, and programming : 13th International colloquium, Rennes, France, July 15-19, 1986 : proceedings

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Vydáno: (2006)

Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings

Automata networks : LITP Spring School on theoretical computer science, Argelès-village, France, May 12-16, 1986 : proceedings

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

Symposium on automatic demonstration : held at Versailles-France, December 1968

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

Machines, computations, and universality : third international conference, MCU 2001, Chişinžu, Moldova, May 23-27 2001 : proceedings

Abstract state machines 2004 : ; proceedings advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004

Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings

Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings

Mathematical knowledge management : Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
Autor: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
Autor: Baumgartner, Peter, 1953-

Advances in learning classifier systems : 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers

Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : proceedings
Autor: Ben-David, Shai

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales