Idioma:

Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3838 ) e outros locais(Acessar)

Título:
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Autor: Jan Willem Klop; Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer
Assuntos: Aspektorientierte Programmierung -- Aufsatzsammlung; Constraint-Programmierung -- Aufsatzsammlung; Lambda-Kalk ul -- Aufsatzsammlung; Prozessalgebra -- Aufsatzsammlung; Reduktionssystem -- Aufsatzsammlung; TEORIA DOS AUTÔMATOS; TÉCNICAS DE PROGRAMAÇÃO; Lambda calculus; Lambda calculus Congresses; Machine theory; Rewriting systems (Computer science); COLETÂNEA
Notas: Literaturangaben.
Títulos relacionados: Série:Lecture notes in computer science 3838 Festschrift
Editor: Berlin u.a. Springer
Data de criação/publicação: 2005
Formato: XVIII, 638 S ill., graph. Darst 235 x 155 mm..
Idioma: Inglês

Links

Voltar para lista de resultados