Processes, Terms and Cycles: Steps on the Road to Infinity
| ISBN: | 9783540309116 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 642 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Middeldorp, Aart de Vrijer, Roel van Oostrom, Vincent van Raamsdonk, Femke |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 13.12.2005 |
| Untertitel: | Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday |
| Schlagworte: | Bisimulation Extension aspect-oriented programming behavior expression reduction finite equational bases graph transformation lambda calculus logic model theory |