Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152128 obálek a 950683 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in ... Computer Science and General Issues)
Rok: 2006
ISBN: 9783540309116
OKCZID: 110035704
Citace (dle ČSN ISO 690):
MIDDELDORP, Aart, ed. Processes, terms and cycles: steps on the road to infinity: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer, c2005. xviii, 638 s. Lecture notes in computer science, 3838.
Anotace
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.