Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 41 - 50 of about 50 related to Recursively Enumerable Sets and Degrees: A Study of Computable Functions and ....   

Automata Theory and its Applications

Bakhadyr Khoussainov, Anil Nerode - Computers - 2001 - 430 pages
Uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few ...
Limited preview - About this book

The Joy of Sets: Fundamentals of Contemporary Set Theory

Keith Devlin - Mathematics - 1994 - 194 pages
This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "na´ve" set theory, it develops the Zermelo-Fraenkel axioms ...
Limited preview - About this book

Logic of Domains

G. Zhang - Computers - 1991 - 260 pages
No preview available - About this book

Elements of Finite Model Theory

Leonid Libkin - Mathematics - 2004 - 318 pages
Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Limited preview - About this book

Word Equations and Related Topics: Second International Workshop, IWWERT '91 ...

Habib Abdulrab, Jean-Pierre Pecuchet - Computers - 1993 - 214 pages
This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991 ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search