Rewriting Techniques and Applications
Hubert Comon
₹5,552
Rewriting Computation and Proof
Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th
by Hubert Comon
Springer-Nature New York Inc · 2007
₹2,387
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Rewriting Computation and Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th by Hubert Comon is a 272-page book published by Springer-Nature New York Inc in 2007. The book is part of the Lecture notes in computer science series.
Its main subjects are Logic design, Computer science, Software engineering and Rewriting systems (Computer science).
Book details
- ISBN-13
- 9783540731467
- ISBN-10
- 3540731466
- Author
- Hubert Comon
- Publisher
- Springer-Nature New York Inc
- Published
- 2007
- Series
- Lecture notes in computer science
- Edition
- 2007 ed.
- Pages
- 272
- Language
- English
- Condition
- New
- Subject
- Computational complexity
More by Hubert Comon and related titles
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749
Term Rewriting
Hubert Comon, Jean-Pierre Jouannaud
₹5,490
Arithmetic of Finite Fields
M. Anwar Hasan, Tor Helleseth
₹5,525
Computational Statistics
Geof H. Givens, Jennifer A. Hoeting
₹13,332
Proceedings of ECCS 2014
Francesco De Pellegrini Stefano Battiston, Emanuela Merelli Guido Caldarelli
₹3,605
Elliptic Curve Public Key Cryptosystems
Alfred J. Menezes
₹7,731
The Nature of Computation Logic, Algorithms, Applications
Paola Bonizzoni
₹4,279
Evolutionary Computation in Combinatorial Optimization
Gabriela Ochoa, Francisco Chicano
₹3,772
Diskrete Strukturen
Angelika Steger
₹2,050
Advances in Complex Societal, Environmental and Engineered Systems
Mohamed Nemiche, Mohammad Essaaidi
₹7,738
Computational Complexity of Counting and Sampling
Istvan Miklos
₹6,549