Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

The Computational Complexity of Logical Theories

Main
Mathematics - Discrete Mathematics
The Computational Complexity of Logical...

The Computational Complexity of Logical Theories

J. Ferrante, C. W. Rackoff

0 / 0

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Категорії:

Mathematics - Discrete Mathematics

Рік:

1979

Видання:

1

Видавництво:

Springer

Мова:

english

Сторінки:

251

ISBN 10:

3540095012

ISBN 13:

9783540095019

Серії:

Lecture Notes in Mathematics

Файл:

DJVU, 1.07 MB

IPFS:

,

english, 1979

Скачування цієї книги недоступне за скаргою правовласника

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Можливо вас зацікавить

Kees Doets — Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]

unknown — Handbook of Philosophical Logic

Bawise J. (ed.) — The Syntax and Semantics of Infinitary Languages

E. Börger — Computability, complexity, logic

Enderton H.B. — A mathematical introduction to logic

Peter Clote, Jan Krajícek — Arithmetic, Proof Theory, and Computational Complexity

Ian Chiswell, Wilfrid Hodges — Mathematical Logic

W. D. Keuker (editor) — Infinitary Logic: In Memoriam Carol Karp

H.-D. Ebbinghaus, J. Flum, W. Thomas — Mathematical Logic

Neil Immerman — Descriptive Complexity

E. Boerger — Computability, Complexity, Logic

Marek Karpinski, J. Van Leeuwen (ed.) — Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

Samuel R. Buss (Editor) — Handbook of Proof Theory

Ingo Wegener — The Complexity of Boolean Functions (Wiley Teubner on Applicable Theory in Computer Science)

Jan Krajicek — Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

R. Karp — Complexity of Computation

Immerman — Descriptive Complexity

Kees Doets — Basic Model Theory

Doets K. — Basic model theory

Åsa Hirvonen (editor); Juha Kontinen (editor); Roman Kossak (editor); Andrés Villaveces (editor) — Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Hans de Nivelle (auth.) — Collegium Logicum

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.) — Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Eric W. Allender (auth.), Alan L. Selman (eds.) — Structure in Complexity Theory: Proceedings of the Conference held at the University of California, Berkeley, California, June 2–5, 1986

W Breuer, G Rottenberg — Introduction To Circuit Complexit

Heinz-Dieter Ebbinghaus, Jörg Flum — Finite Model Theory

Samuel R. Buss — Bounded Arithmetic

Dov M. Gabbay, Franz Guenthner — Handbook of Philosophical Logic, vol. 1

G. Kreisel (auth.), Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen (eds.) — Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976

Bruce M Kapron — Logic, Automata, and Computational Complexity

Ключові фрази

Пов’язані вибірки