
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
₹4,294

21st International Workshop
Springer-Verlag New York Inc · 2013 · Paperback
Free delivery. Nothing extra to pay at checkout.
Recent Trends in Algebraic Development Techniques: 21st International Workshop is written by Narciso Martí-Oliet. This paperback edition from Springer-Verlag New York Inc (2013) has 296 pages.
Topics covered include Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Information theory and Logic design.