[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 8974 || Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Voronkov, Andrei, Virbitskaite, IrinaVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-46823-4_21
File:
PDF, 355 KB
english, 2015