The observational predicate calculus and complexity of computations (Preliminary communication)
Commentationes Mathematicae Universitatis Carolinae (1975)
- Volume: 016, Issue: 2, page 395-398
- ISSN: 0010-2628
Access Full Article
top
How to cite
topPudlá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- S. A. COOK, A hierarchy for nondeterministic time complexity, Journ. Comput. and System Sci. 7 (1973), 343-353. (1973) Zbl0278.68042MR0337539
- P. HÁJEK, Generalized quantifiers and finite sets, Proceedings of the Autumn School in Set Theory and Hierarchy Theory, Karpacz, Poland, 1974. (1974)
- 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)
- D. S. JOHNSON P. GÁCS L. LOVÁSZ, Pseudoelementary classes of finite structures and polynomial completeness, To appear.
- P. PUDLÁK, Observační predikátorový počet a teorie složitosti, (master thesis, Charles University 1975). (1975)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.