Systems of reductions :: SCD d'Orléans

Systems of reductions

Systems of reductions

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Benninghofen, Benjamin, 1958-, Richter, Michael M., 1938-2020, mathématicien (Auteur), Kemmerich, Susanne, 1953- (Auteur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 277
Fag:	Informatique Algorithmes Systèmes de réécriture (informatique) Automates mathématiques, Théorie des Intelligence artificielle Logique symbolique et mathématique Monoïdes Ensembles, Théorie des Algèbre
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Systems of reductions, B. Benninghofen, S. Kemmerich, M.M. Richter, 1987, Berlin, Springer, 1 vol. (X-263 p.), Lecture notes in computer science, 3-540-18598-4 • Systems of Reductions, Texte imprimé, 9783662200704

Lignende værker

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

Automated deduction in equational logic and cubic curves
af: McCune, William Walker, 1953-, et autres

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

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

Implementation and application of automata : 7th International Conference, CIAA 2002, Tours, France, July 3 5, 2002 : pevised 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

Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

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

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

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

Logic, computers, and sets
af: Wang, Hao, 1921-
Udgivet: (1970)

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

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

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

Transactions on rough sets.
af: Peters, James F., 1936-

Learning classifier systems : from foundations to applications
af: Lanzi, Pier Luca, 1967-

Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers

Rough sets and current trends in computing : third international conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

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

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

Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13 15, 1994 : proceedings

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2 5, 1997 : proceedings

Rewriting techniques and applications : 4th International Conference, RTA-91 Como, Italy, April 10 12, 1991 : proceedings

Rewriting techniques and applications : ; proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27 30, 1996 : proceedings

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

Théorie des ensembles
af: Bourbaki, Nicolas

Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings

Algorithmic learning theory : 12th international conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings

© 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