Titel

Merkliste
1 Ergebnisse

The ∀∃-Theory of R(≤, ∨, ∧) Is Undecidable:

Miller, Russell G. ; Nies, Andre O. ; Shore, Richard A.
Transactions of the American Mathematical Society. 356 (2004) 8 - p. 3025-3067 , 2004

Link: https://www.jstor.org/stable/3845021

RT Journal
T1 <Title>The ∀∃-Theory of R(≤, ∨, ∧) Is Undecidable</Title>

UL https://suche.suub.uni-bremen.de/peid=jstor-3845021&Exemplar=1&LAN=DE
				
A1 Miller, Russell G.
A1 Nies, Andre O.
A1 Shore, Richard A.
PB American Mathematical Society
YR 2004
SN 0002-9947
K1 Behavioral sciences
K1 Leisure studies
K1 Recreation
K1 Games
K1 Electronic games
K1 Arcade games
K1 Pinball games
K1 Psychology
K1 Cognitive psychology
K1 Cognitive processes
K1 Decision making
K1 Undecidability
K1 Mathematics
K1 Pure mathematics
K1 Arithmetic
K1 Philosophy
K1 Logic
K1 Logical topics
K1 Formal logic
K1 Mathematical logic
K1 Recursion theory
K1 Computability
K1 Degree of unsolvability
K1 Mathematical expressions
K1 Mathematical functions
K1 Decision theory
K1 Decidability
K1 Algebra
K1 Mathematical set theory
K1 Lattice theory
K1 Mathematical lattices
K1 Mathematical values
K1 Mathematical variables
K1 Mathematical independent variables
JF Transactions of the American Mathematical Society
VO 356
IS 8
SP 3025
OP 3067
LK http://dx.doi.org/https://www.jstor.org/stable/3845021
DO https://www.jstor.org/stable/3845021
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)