Home > Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Book Informaton
Author
Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer
Series
Lecture Notes in Computer Science
Volume
3838
Year of Publication
2005
Publisher
Springer Berlin Heidelberg
Pages
XVIII, 642
Language
en
ISBN
9783540309116, 9783540324256, 354030911X
ARI Id
1664918972831
This page has been accessed 3 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 25 entries
Chapters/Headings | Author(s) | Pages | Info |
1-5 | |||
6-13 | |||
14-25 | |||
26-39 | |||
40-54 | |||
55-69 | |||
70-87 | |||
88-105 | |||
106-126 | |||
127-147 | |||
148-172 | |||
173-197 | |||
198-223 | |||
224-250 | |||
251-279 | |||
280-308 | |||
309-337 | |||
338-367 | |||
368-403 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 25 entries
Topics
Lambda calculus Machine theory Rewriting systems (Computer science) Mathematical Logic and Formal Languages Lambda-Kalkül Logic MATHEMATICS Aspektorientierte Programmierung Processus infinis Réécriture Systèmes de (Informatique) Infinity Reduktionssystem Infinite Processes Mathematical Logic and Foundations Logics and Meanings of Programs Computer Science Constraint-Programmierung Lambda-calcul Prozessalgebra Artificial Intelligence (incl. Robotics) Calculus