Catalog

Record Details

Catalog Search



Logic, Language, Information and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz.

Beklemishev, Lev D. (editor.). Queiroz, Ruy. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642209208
  • Physical Description: X, 311 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Algebra > Data processing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.

Additional Resources