The classical decision problem

Main
Mathematics
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Տարի:

1997

Հրատարակչություն:

Springer

Լեզու:

english

Էջեր:

482

ISBN 10:

354057073X

ISBN 13:

9783540570738

Սերիաներ:

Perspectives in mathematical logic

Ֆայլ:

DJVU, 4.69 MB

IPFS:

,

english, 1997

Այս գրքի ներբեռնումը հասանելի չէ՝ հեղինակային իրավունքի սեփականատիրոջ բողոքի համաձայն

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

— Pravin Lal

Ձեզ կարող է հետաքրքրել

Springer — Israel Journal of Mathematics, Volume 2, Issue 1 (1964)

Wilhelm Ackermann — Solvable Cases of the Decision Problem

Putnam Hilary — Decidability and Essential Undecidability

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Edith Spaan — Complexity of Modal Logics [PhD Thesis]

Carsten Lutz — Complexity of Description Logics with Concrete Domains [PhD Thesis]

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Simpson S.G. — Mathematical Logic

Siefkes D. — Decidable Theories I

W. Ackermann — Solvable Cases of the Decision Problem

Gallier J. — Logic for Computer Science

Enderton H.B. — A mathematical introduction to logic

Ann Yasuhara — Recursive function theory and logic

Grzegorz Rozenberg and Arto Salomaa — Cornerstones of undecidability

Jane Bridge — Beginning Model Theory: The Completeness Theorem and Some Consequences

Dov M. Gabbay, Ian Hodkinson, Mark Reynolds — Temporal Logic: Mathematical Foundations and Computational Aspects

Domenico Cantone, Alfredo Ferro, Eugenio Omodeo — Computable Set Theory

Ebbinghaus, H.D., Flum, J., Thomas, W. — Mathematical Logic: Undergraduate Texts in Mathematics

Ronald V. Book, Friedrich Otto — String-Rewriting Systems

Gabbay, Dov M — Many dimensional modal logics : theory and applications

Tarski A — Undecidable theories

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

Jean H. Gallier — Logic for Computer Science: Foundations of Automatic Theorem Proving

Alfred Tarski; Andrzej Mostowski; Raphael M Robinson — Undecidable theories

Stéphane Demri, Valentin Goranko, Martin Lange — Temporal Logics in Computer Science. Finite-State Systems

Ronald V. Book, Friedrich Otto — String-Rewriting Systems

João Rasga, Cristina Sernadas — Decidability of Logical Theories and Their Combination

Lech T. Polkowski — Logics for Computer and Data Sciences, and Artificial Intelligence

Lech T. Polkowski — Logics for Computer and Data Sciences, and Artificial Intelligence

Dirk Siefkes, Gert H. Müller — Decidable Theories I

E.Borger, E.Gradel, Yu.Gurevich — The Classical Decision Problem

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Marco Cadoli (auth.) — Tractable Reasoning in Artificial Intelligence

Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (eds.) — Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (eds.) — Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Հիմնական արտահայտություններ