The Decision Problem for Effective Procedures (English)
Free access
- New search for: Salmón, Nathan
- New search for: Salmón, Nathan
In:
Logica Universalis
;
17
, 2
;
161-174
;
2023
- Article (Journal) / Electronic Resource
-
Title:The Decision Problem for Effective Procedures
-
Additional title:Log. Univers.
-
Contributors:Salmón, Nathan ( author )
-
Published in:Logica Universalis ; 17, 2 ; 161-174
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2023-06-01
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: Primary 03A05 / Secondary 03C57 / 03D10 / 03D40 / 03D80 / 68Q01 / 68Q05
- Further information on Mathematics Subject Classification
-
Keywords:
-
Classification:
MSC: Primary 03A05 / Secondary 03C57 / 03D10 / 03D40 / 03D80 / 68Q01 / 68Q05 -
Licence:
-
Source:
Table of contents – Volume 17, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 139
-
An Intensional Formalization of Generic StatementsBergier, Hugolin et al. | 2023
- 161
-
The Decision Problem for Effective ProceduresSalmón, Nathan et al. | 2023
- 175
-
Probability Logics for Reasoning About Quantum ObservationsIlić Stepić, Angelina / Ognjanović, Zoran / Perović, Aleksandar et al. | 2023
- 221
-
A Dialectic Contra-Classical LogicFrancez, Nissim et al. | 2023
- 231
-
Revising the Elenchus via Belief RevisionKubyshkina, Ekaterina / Petrolo, Mattia et al. | 2023