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

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Middeldorp, Aart (HerausgeberIn), Klop, Jan Willem (GefeierteR), Oostrom, Vincent van (BerichterstatterIn), Raamsdonk, Femke van (BerichterstatterIn), Vrijer, Roel de (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2005
Schriftenreihe:	Lecture notes in computer science 3838
Schlagworte:	Lambda calculus > Rewriting systems (Computer science) > Machine theory > Aufsatzsammlung > Festschrift > Aspektorientierte Programmierung > Constraint-Programmierung > Reduktionssystem > Lambda-Kalkül > Prozessalgebra
Online Zugang:	Inhaltsverzeichnis Inhaltstext Cover Inhaltstext Verlagsangaben http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3838
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!