Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985

Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Jouannaud, Jean-Pierre (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1985
Σειρά:	Lecture Notes in Computer Science = 202
Θέματα:	COMPUTER SCIENCE PROCEEDINGS Λογική, Συμβολική και μαθηματική LNCS

Παρόμοια τεκμήρια

Efficient Graph Rewriting and its Implementation
ανά: Dorr, Heiko
Έκδοση: (1995)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Complexity and structure
ανά: Schöning, Uwe, 1955-
Έκδοση: (1986)

Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986
Έκδοση: (1986)

Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986
Έκδοση: (1986)

Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992
Έκδοση: (1992)

Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993
Έκδοση: (1993)

Advances in Cryptology - CRYPTO '89 Proceedings
Έκδοση: (1990)

Advances in Cryptology - CRYPTO '90 Proceedings
Έκδοση: (1991)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Έκδοση: (1993)

Supercomputing Proceedings of the 1st International Conference Athens, Greece, June 8-12, 1987
Έκδοση: (1988)

Graph-theoretic concepts in computer science Proceedings. International Workshop WG"88. Amsterdam, June 15-17, 1988
Έκδοση: (1989)

Advances in Cryptology Proceedings of EUROCRYPT 84 A Workshop on the theory and application of cryptographic techniques Paris, France, April 9-11, 1984
Έκδοση: (1985)

Advances in Cryptology - EUROCRYPT '92 Proceedings.Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary May 24-28, 1992
Έκδοση: (1993)

Advanced Information Systems Engineering 8th International Conference, CAiSE '96 Heraklion , Crete, Greece, May 20-24, 1996 Proceedings
Έκδοση: (1996)

HTheories Iand methods of spatio-temporal reasoning in geographic space Proceedings. International conference GIS. Pisa, Italy, September 21-23, 1992
Έκδοση: (1992)

Advances in cryptology CRYPTO'99 Proceedings 19th Annual International Cryptology Conference Santa Barbara, California USA, August 15-19 , 1999
Έκδοση: (1999)

Advances in Database Technology - EDBT '96 5th International Conference on Extending Database Technology Avignon, France, March 25-29, 1996 Proceedings
Έκδοση: (1996)

Conceptual Modeling - ER 2001 20th International Conference on Conceptual Modeling Yokohoma, Japan, November 2001 Proceedings
Έκδοση: (2001)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Advances in Cryptology - CRYPTO '85 Proceedings
Έκδοση: (1986)

Advances in Cryptology - CRYPTO '86 Proceedings
Έκδοση: (1987)

Advances in Cryptology - CRYPTO '91 Proceedings
Έκδοση: (1992)

Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985.
Έκδοση: (1986)

Digital Libraries Research and Technology Advances ADL' 95 Mc Lean, Virginia, USA, May 15-17, 1995 selected papers
Έκδοση: (1996)

Parallel computer architectures Theory, hardware, software, applications. The 1st workshop
Έκδοση: (1993)

Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996
Έκδοση: (1996)

Information systems and artificial intelligence: integration aspects First Workshop Ulm, FRG, March 19-21, 1990 Proceedings
Έκδοση: (1991)

Languages and compilers for parallel computing Proceedings of the fourth International Workshop Santa Clara, California, USA, August 7-9, 1991
Έκδοση: (1992)

Automata theory and its applications
ανά: Khoussainov, Bakhadyr 1961-
Έκδοση: (2001)

Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Έκδοση: (1975)

Programming languages and system architectures Proceedings International Conference Zurich, Switzerland, March 2-4, 1994
Έκδοση: (1994)

Introduction to symbolic logic and its applications /
ανά: Carnap, Rudolf, 1891-1970
Έκδοση: (1958)

Algorithms - ESA '94 Proceedings of the 2nd Annual European Symposium Utrecht, The Netherlands, September 26-28, 1994
Έκδοση: (1994)

Introduction to mathematical logic. Vol. 1
ανά: Church, Alonzo
Έκδοση: (1956)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Έκδοση: (1982)

Parallel problem solving from Nature-PPSN IV Proceedings of the International conference on Evolutionary Computation. The 4th international conference on parallel problem solving from Nature. Berlin, Germany, september 22-26, 1996
Έκδοση: (1996)

Conference in Mathematical Logic, London '70 /
Έκδοση: (1972)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών