Rewriting techniques and applications proceedings of the ...held July 10 - 12, 2000

Rewriting techniques and applications proceedings of the ...held July 10 - 12, 2000

Saved in:

Bibliographic Details
Corporate Author:	International conference, RTA
Other Authors:	Bachmair, Leo
Format:	Book
Published:	Berlin Springer 2000
Series:	Lecture notes in computer science
Subjects:	Algorithms > Congresses Rewriting systems (Computer science) > Congresses > Congresses Computer programming > Congresses > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rewriting techniques and applications 5th International Conference, RTA-93 Montreal, Canada, 1993
Published: (1993)

Rewriting techniques and applications proceedings of the ...held May 22 - 24, 2001
Published: (2001)

String-rewriting systems
by: Book, Ronald V
Published: (1993)

Advanced topics in term rewriting
by: Ohlebusch, Enno
Published: (2002)

Efficient graph rewriting and its implementation
by: Dorr, Heiko 1962-
Published: (1995)

1993 lectures in complex systems
Published: (1995)

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

Mathematical foundations of computer science, 1976 proceedings, 5th Symposium, Gdansk, September 6-10, 1976
Published: (1976)

Automata, languages and programming. 2d Colloquium, University of Saarbrucken, July 29 - August 2, 1974.
Published: (1974)

Cellular automata, dynamical systems, and neural networks
Published: (1994)

Automata, languages, and programming third international colloquium at the University of Edinburgh
Published: (1976)

Application and theory of Petri nets 2000 proceedings of the...held June 26 - 30, 2000
Published: (2000)

Implementation and application of automata revised papers, July 24 - 25, 2000
Published: (2001)

Kolmogorov complexity and computational complexity
Published: (1992)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

Mathematics of program construction proceedings of the ...held July 3 - 5, 2000
Published: (2000)

Graph-theoretic concepts in computer science proceedings of the ... held June 20-22 1990, organized by the group "Discrete Mathematics and Computer Science" of the Department of Mathematics, Technical University of Berlin
Published: (1991)

A half-century of automata theory celebration and inspiration
Published: (2001)

Combinatorial pattern matching proceedings of the ...held July 1 - 4, 2001
Published: (2001)

Artificial evolution selected papers, November 3 - 5, 1999
Published: (2000)

Innovative algorithms and techniques in automation, industrial electronics and telecommunication
Published: (2007)

Information security and privacy proceedings of the ...held July 10 - 12, 2000
Published: (2000)

Graph-theoretic concepts in computer science proceedings of the ...held June 14 - 16, 2001
Published: (2001)

Artificial neural nets and genetic algorithms proceedings of the ...held 2001
Published: (2001)

Algorithms and computation 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, proceedings
Published: (2005)

Data structures and efficient algorithms final report on the DFG special joint initiative
Published: (1992)

Advances in intelligent systems theory and applications proceedings of the ... held 2 - 4 February, 2000
Published: (2000)

Database applications semantics proceedings of the ... held May 30 - June 2, 1995
Published: (1997)

Computational acoustics proceedings of the 1st IMACS Symposium on Computational Acoustics, New Haven, CT, USA, 6-8 August 1986
Published: (1988)

Artificial neural nets and genetic algorithms proceedings of the international conference in Ales, France, 1995
Published: (1995)

Algorithms and parallel VLSI architectures volume A : Tutorials proceedings of the ... held June 10-16, 1990
Published: (1991)

Discrete probability and algorithms
Published: (1995)

Algorithmic and computatinal robotics new direction
Published: (2001)

Algorithmic foundations of robotics VIII selected contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics
Published: (2010)

Robotics the algorithmic perspective, 3rd. 1998
Published: (1998)

Artificial neural nets and genetic algorithms proceedings of the international conference in Innsbruck, Austria, 1993 R. F. Albrecht, C. R. Reeves and N. C. Steele, (eds.)
Published: (1993)

Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
Published: (2007)

1993 Parallel Rendering Symposium proceedings, San Jose, California, October 25-26, 1993
Published: (1993)

Metalevel architectures and separation of crosscutting concerns proceedings of the ...held September 25 - 28, 2001
Published: (2001)

Semantics, applications, and implementation of program generation proceedings of the ...held September 20, 2000
Published: (2000)