Login

Type of document: Article

Language: English

Author(s): Pudlák, Pavel

Title: The Observational Predicate Calculus and Complexity of Computations

Year: 1975

Source: Commentationes Mathematicae Universitatis Carolinae

Pages: 395-398

Catalog