Term Rewriting and Applications

Angebote / Angebote:

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

124,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783540368342
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Pfenning, Frank
Einband C, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence, Symbolic and Algebraic Manipulation, Compilers and Interpreters, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, computer science, Programming languages (Electronic computers), Mathematical logic, Computer logic, Computer science—Mathematics, Compilers & interpreters, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Maths for computer scientists, Kartonierter Einband (Kt)
Sprache eng
Seiten 418
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Publikationsjahr 2006

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.