Logic, Language, Information and Computation
Subtitle: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
By: edited by Luke Ong, Ruy Queiroz
Contributors: Queiroz, Ruy J. G. B. de; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7456
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642326219
Subjects: Mathematical Logic and Formal Languages; Computational complexity; Discrete Mathematics in Computer Science; Algebra; Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Data processing; Computer software