The classical decision problem /

The classical decision problem /

41

Bibliographic Details
Main Authors:	Borger, E. (Egon), 1946-, Gradel, Erich, 1958-, Gurevich, Yuri
Format:
Language:	eng
Published:	Berlin : Springer, 2001
Subjects:	Decidability (Mathematical logic)

Similar Items

On decidability of pure hybrid logic
by: Stanislovas Norgėla
Published: (2012-12-01)

Decidability Preservation and Complexity Bounds for Combined Logics
by: Carlos Caleiro, et al.
Published: (2022-09-01)

Formulas Expressing Totally Nonstable Truth Values of Formulas
by: V.V. Rybakov, et al.
Published: (2023-06-01)

Specialization of derivations in modal logic S5
by: Aida Pliuškevičienė
Published: (2023-09-01)

The Effectiveness of Using Pulpotec® in Treatment of Pulpitis by Pulpotomy of Vital Deciduous Molar and Vital Immature Permanent Molar
by: Khudhair A Al- Salman, et al.
Published: (2012-01-01)

A Grounded Theory on Obtaining Congruence in Decision Making
by: Michal T. Lysek
Published: (2018-12-01)

DECIDE: A Deterministic Mixed Quantum-Classical Dynamics Approach
by: Zhe Liu, et al.
Published: (2022-07-01)

Undecidability and Complexity for Super-Turing Models of Computation
by: Eugene Eberbach
Published: (2022-03-01)

An analytical method for well-formed workflow/Petri net verification of classical soundness
by: Clempner Julio
Published: (2014-12-01)

To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way
by: V. V. Bludov, et al.
Published: (2019-09-01)

Model Evaluasi Perangkat Lunak: Pemodelan Visual Berbasis Open Source
by: Harijanto Pangestu
Published: (2011-12-01)

The progress of science from a computational point of view: the drive towards ever higher solvability
by: Marciszewski Witold
Published: (2019-03-01)

Solvable cases of the decision problem /
by: 366805 Ackermann, Wilhelm
Published: (1954)

Algebraic and proof-theoretic aspects of non-classical logics [electronic resources]: papers in honor of Daniele Mundici on the occasion of his 60th birthday/
by: Mundici, Daniele, 1946-, et al.
Published: (2007)

Le fondement démocratique du droit de décider des Catalans
by: Mercè Corretja Torrens

Knowledge to Manage the Knowledge Society: The Concept of Theoretical Incompleteness
by: Gianfranco Minati
Published: (2016-07-01)

The Importance of Thinking about Thinking
by: Ellie Collier
Published: (2010-03-01)

Freedom of decision on the birth of a child in the draft civil code of the Republic of Serbia
by: Pejović Dragana
Published: (2016-01-01)

A comprehensive textbook of classical mathematics : a contemporary interpretation /
by: 206769 Griffiths, Hubert Brian, et al.
Published: (1970)

The Right to Decide on Marriage of People in Le Mon Industrial Park, Thanh Hoa City, Under the Impact of Industrialization and Urbanization
by: Duyen Nguyen Thi, et al.
Published: (2023-12-01)

IMPROVING STUDENTS’ READING COMPREHENSION BY USING REDW (READ, EXAMINE, DECIDE, AND WRITE ) STRATEGY TO THE TENTH GRADE STUDENTS OF MA AL-MUAWWANAH GUNUNG MEGANG MUARA ENIM SUMATERA SELATAN
by: Susiana Susiana
Published: (2016-06-01)

Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
by: Witold Marciszewski
Published: (2019-05-01)

Costs of criminal proceedings: Sample of 342 court decisions (300 decisions of the Supreme Court of Cassation, 40 decisions of the Basic Court in Novi Sad and two decisions of Constitutional Court)
by: Vuković Nikola
Published: (2022-01-01)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

The decision problem : solvable classes of quantificational formulas /
by: 349366 Dreben, Burton, et al.
Published: (1979)

Un référendum sur l’indépendance est-il possible dans l’ordre juridique espagnol ? Le droit expliqué dans la presse
by: Jorge Cagiao y Conde

Coelho se werk leef voort in Afrikaans - ’n Resensie van Veronika besluit om te sterf
by: Laurinda van Tonder, et al.
Published: (2022-06-01)

Infinite Generation of Language Unreachable From a Stepwise Approach
by: M. A. C. Huybregts
Published: (2019-03-01)

Classical propositional logic and decidability of variables in intuitionistic propositional logic
by: Hajime Ishihara
Published: (2014-08-01)

Transparent Reporting of the Early-stage Clinical Evaluation of Clinical Decision Support Systems Based on Artificial Intelligence
by: LEI Fang, DU Liang, DONG Min, LIU Xuemei
Published: (2024-04-01)

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
by: Thomas Streicher
Published: (2017-12-01)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
by: Dag Normann
Published: (2015-03-01)

Controversies about the Introduction of Non-Classical Logics
by: Angel Garrido, et al.
Published: (2015-07-01)

Effective Procedures
by: Nathan Salmon
Published: (2023-03-01)

Recent Developments on Insertion-Deletion Systems
by: Sergey Verlan
Published: (2010-11-01)

Deciding by discretionary power on application for admission to the citizenship of the Republic of Serbia: The limits of the constitutional control
by: Rajić Nataša N.
Published: (2015-01-01)

A New Political Status for the Basque Country?
by: Eduardo Ruiz Vieytez
Published: (2013-04-01)

Online Voting System using Homomorphic Encryption
by: Saproo Saksham, et al.
Published: (2020-01-01)

Dret a decidir i dret constitucional dels estats
by: Marthe Fatin-Rouge Stefanini
Published: (2020-12-01)