Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
| ISBN: | 9783540368342 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 418 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Pfenning, Frank |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 26.07.2006 |
| Untertitel: | 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings |
| Schlagworte: | Constraint lambda calculus logic optimization proving term rewriting theorem proving verification |
Anmelden