Models, algorithms, logics and tools essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Aceto, Luca (HerausgeberIn), Bacci, Giorgio (HerausgeberIn), Bacci, Giovanni (HerausgeberIn), Anna Ingólfsdóttir (HerausgeberIn), Legay, Axel (HerausgeberIn), Mardare, Radu (HerausgeberIn), Larsen, Kim Guldstrand (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2017
Schriftenreihe:	Lecture notes in computer science 10460
Schlagworte:	Festschrift > Konferenzschrift > Formale Sprache > Automatentheorie > Logik > Algorithmus
Online Zugang:	Inhaltsverzeichnis Full Text Full Text Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	"...to celebrate Kim's 60th birthday than this Festschrift with a large variety of papers dedicated to him and with a two-day workshop, the KiMfest, featuring a diverse range of speakers, held in Aalborg in his honor in August 2017" - Preface, Seite XI Enthält Beiträge des Workshops KiMfest, gehalten am 19.-20. August 2017 an der Aalborg Universität
Beschreibung:	XVII, 662 Seiten Illustrationen 155 x 235 x 36
ISBN:	9783319631202 978-3-319-63120-2