The observational predicate calculus and complexity of computations (Preliminary communication)

Pavel Pudlák

Commentationes Mathematicae Universitatis Carolinae (1975)

  • Volume: 016, Issue: 2, page 395-398
  • ISSN: 0010-2628

How to cite

top

Pudlák, Pavel. "The observational predicate calculus and complexity of computations (Preliminary communication)." Commentationes Mathematicae Universitatis Carolinae 016.2 (1975): 395-398. <http://eudml.org/doc/16697>.

@article{Pudlák1975,
author = {Pudlák, Pavel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {2},
pages = {395-398},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The observational predicate calculus and complexity of computations (Preliminary communication)},
url = {http://eudml.org/doc/16697},
volume = {016},
year = {1975},
}

TY - JOUR
AU - Pudlák, Pavel
TI - The observational predicate calculus and complexity of computations (Preliminary communication)
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1975
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 016
IS - 2
SP - 395
EP - 398
LA - eng
UR - http://eudml.org/doc/16697
ER -

References

top
  1. S. A. COOK, A hierarchy for nondeterministic time complexity, Journ. Comput. and System Sci. 7 (1973), 343-353. (1973) Zbl0278.68042MR0337539
  2. P. HÁJEK, Generalized quantifiers and finite sets, Proceedings of the Autumn School in Set Theory and Hierarchy Theory, Karpacz, Poland, 1974. (1974) 
  3. P. HÁJEK, Projective classes of models in observational predicate calculi, Preprint for the 6th Internat. Congress for Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975. (1975) 
  4. D. S. JOHNSON P. GÁCS L. LOVÁSZ, Pseudoelementary classes of finite structures and polynomial completeness, To appear. 
  5. P. PUDLÁK, Observační predikátorový počet a teorie složitosti, (master thesis, Charles University 1975). (1975) 

NotesEmbed ?

top

You must be logged in to post comments.