<--- Back to Details
First PageDocument Content
Complexity classes / NL / Nondeterminism / FO / Metalogic / Theoretical computer science / Mathematics
Date: 2012-08-08 19:03:01
Complexity classes
NL
Nondeterminism
FO
Metalogic
Theoretical computer science
Mathematics

Referential Opacity In Nondeterministic Data Re nement Xiaolei Qian and Allen Goldbergy Kestrel Institute August 3, 1992 Abstract

Add to Reading List

Source URL: www.kestrel.edu

Download Document from Source Website

File Size: 175,85 KB

Share Document on Facebook

Similar Documents

Lebesgue density and Π01 Classes Mushfeq Khan University of Hawai‘i at M¯anoa Algorithmic Randomness and Complexity Shonan Village Center September 12th, 2014

Lebesgue density and Π01 Classes Mushfeq Khan University of Hawai‘i at M¯anoa Algorithmic Randomness and Complexity Shonan Village Center September 12th, 2014

DocID: 1ubuP - View Document

Rademacher Complexity Margin Bounds for Learning with a Large Number of Classes Vitaly Kuznetsov Courant Institute of Mathematical Sciences, 251 Mercer street, New York, NY, 10012 Mehryar Mohri

Rademacher Complexity Margin Bounds for Learning with a Large Number of Classes Vitaly Kuznetsov Courant Institute of Mathematical Sciences, 251 Mercer street, New York, NY, 10012 Mehryar Mohri

DocID: 1t1hx - View Document

Principles of metabolism: coping with complexity Six classes of enzymes

Principles of metabolism: coping with complexity Six classes of enzymes

DocID: 1sh47 - View Document

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

DocID: 1ruap - View Document

The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1  School of Engineering and Computing Sciences, Durham University,

The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,

DocID: 1rtIQ - View Document