Descriptional complexity of formal systems : 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings

This book constitutes the refereed proceedings of the 17th International conference on descriptional complexity of formal systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submission...

Celý popis

Podrobná bibliografie

Další autoři:	Shallit, Jeffrey Outlaw, 1957- (Editor)  Okhotin, Alexander (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	DCFS 2015 (Waterloo, Ontario, Kanada)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham ; Heidelberg ; New York ; Dordrecht ; London : Springer, 2015
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-319-19225-3 978-3-319-19224-6
Témata:	informatika počítače algoritmizace matematická logika formální jazyky diskrétní matematika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!