Refine your search

• Availability

  • Limit to currently available items

• Authors

  • Leonid, Libkin (1)
  • Stoll, Robert R. (1)
  • Straubing, Howard (1)

• Collections

  • General (1)

• Item types

  • Books (3)

• Locations

  • General Stacks (2)

• Series

  • Progress in Theoreti... (1)
  • Texts in Theoretical... (1)

• Topics

  • Algorithm Analysis (1)
  • Algorithms (1)
  • Automata (1)
  • Boolean algebra (1)
  • Computational Comple... (1)
  • Computer Science (2)
  • Computer Software (1)
  • Computers (1)
  • Database Management (1)
  • Formal Languages (1)
  • Informal axiomatic m... (1)
  • Machine Theory (1)
  • Mathematical Logic (3)
  • Mathematics (2)
  • ModelTtheory (1)
  • Problem Complexity (1)
  • Rings (1)
  • Robotics (1)
  • Robots (1)
  • Symbolic Logic (2)
  • Symbolic logic (1)
  • Zorn's Lemma (1)
  • Show more
  • Show less