

An edition of Logic, Language, Information and Computation (2012)
19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
By Luke Ong
Publish Date
2012
Publisher
Springer Berlin Heidelberg,Imprint: Springer
Language
eng
Pages
351
Description:
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, Logic, symbolic and mathematical