Advanced topics in term rewriting

Advanced topics in term rewriting

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Ohlebusch, Enno
Format:	Book
Language:	English
Published:	New York, NY Springer 2002
Subjects:	Rewriting systems (Computer science)
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Graph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday
Published: (2010)

Graph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday
Published: (2010)

Term rewriting and applications (vol. # 4098) : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
Published: (2006)

Rewriting techniques and applications 20th international conference, RTA 2009 Bras©Ưlia, Brazil, June 29 - July 1, 2009 Proceedings /
Published: (2009)

Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems /
Published: (2008)

Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems /
Published: (2008)

Mathematical foundations of computer science/
by: Bathul, Shanaz
Published: (2010)

Petri nets for systems engineering a guide to modelling, verification, and applications
by: Girault, Claude
Published: (2003)

Petri nets for systems engineering a guide to modelling, verification, and applications
by: Girault, Claude
Published: (2003)

Theory of computation /
by: Kozen, Dexter C.
Published: (2006)

Theory of computation /
by: Kozen, Dexter C.
Published: (2006)

Theory of computation
by: Kozen, Dexter C.
Published: (2006)

Theory of computation
by: Kozen, Dexter C.
Published: (2006)

From system complexity to emergent properties /
Published: (2009)

Automata, languages and programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.
Published: (2006)

Automata, languages and programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.
Published: (2006)

Foundations of complex systems : emergence information and prediction /
by: Nicolis, G.
Published: (2012)

Automata, languages and programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
Published: (2005)

Theory of computation
by: Puntambekar, Anuradha A.
Published: (2013)

Theory of computation
by: Puntambekar, Anuradha A.
Published: (2012)

Theory of computation
by: Puntambekar, Anuradha A.
Published: (2013)

Theory of computation
by: Puntambekar, Anuradha A.
Published: (2012)

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /
Published: (2000)

Untangling complex systems : a grand challenge for science /
by: Gentili, Pier Luigi
Published: (2019)

Untangling complex systems : a grand challenge for science /
by: Gentili, Pier Luigi
Published: (2019)

Teaching and learning formal methods /
Published: (1996)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: Penczek, Wojciech
Published: (2006)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: Penczek, Wojciech
Published: (2006)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Published: (2005)

Teaching and learning formal methods /
Published: (1996)

Bayesian reasoning and machine learning /
by: Barber, David
Published: (2011)

Algorithmic randomness and complexity
by: Downey, Rodney G.
Published: (2010)

Algorithmic randomness and complexity
by: Downey, Rodney G.
Published: (2010)

Computational complexity : a modern approach /
by: Arora, Sanjeev
Published: (2009)

The nature of computation /
by: Moore, Cristopher
Published: (2011)

Introduction to the theory complexit /
by: Bovet, Daniel
Published: (1994)

Causality, probability, and time /
by: Kleinberg, Samantha
Published: (2013)

P, NP, and NP-completeness : the basics of computational complexity /
by: Goldreich, Oded
Published: (2010)

Formal models, languages and applications /
Published: (2006)