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)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg, New York Springer 2005
Schriftenreihe:	Lecture notes in computer science 3838
Schlagworte:	Aufsatzsammlung > Aspektorientierte Programmierung > Constraint-Programmierung > Reduktionssystem > Lambda-Kalkül > Prozessalgebra
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!