Sortiert nach
Israel journal of mathematics, 2024, Vol.260 (1), p.261-301
2024
Link zum Volltext
Proceedings of the American Mathematical Society, 2004-01, Vol.132 (1), p.239-249
2004
Link zum Volltext
2012, 2012
Link zum Volltext
Computation, Physics and Beyond, p.203-223
Link zum Volltext
The Nature of Computation. Logic, Algorithms, Applications, p.320-328
Link zum Volltext
Israel journal of mathematics, 1999-12, Vol.113 (1), p.305-322
1999
Link zum Volltext
Computation, Physics and Beyond, p.159-173
Link zum Volltext
Transactions of the American Mathematical Society, 1998-07, Vol.350 (7), p.2719-2736
1998
Link zum Volltext
Proceedings of the American Mathematical Society, 2004-01, Vol.132 (1), p.239-249
2004
Link zum Volltext
Proceedings of the American Mathematical Society, 2004, Vol.132 (1), p.239-249
2004
Link zum Volltext
Annals of pure and applied logic, 2001, Vol.107 (1), p.35-48
2001
Link zum Volltext
Computation, Physics and Beyond, p.174-182
Link zum Volltext
Computation, Physics and Beyond, 2012, Vol.7160, p.289-308
2012
Link zum Volltext
The Journal of symbolic logic, 2006-09, Vol.71 (3), p.1044-1052
2006
Link zum Volltext
Computation, Physics and Beyond, p.330-342
Link zum Volltext
Computation, Physics and Beyond, p.388-402
Link zum Volltext
Notre Dame journal of formal logic, 1999-07, Vol.40 (3), p.307-314
1999
Link zum Volltext
Computation, Physics and Beyond, p.120-139
Link zum Volltext
Computation, Physics and Beyond, p.59-70
Link zum Volltext
Computation, Physics and Beyond, p.81-93
Link zum Volltext
Computation, Physics and Beyond, p.343-356
Link zum Volltext
Computation, Physics and Beyond, p.71-80
Link zum Volltext
Computation, Physics and Beyond, p.140-158
Link zum Volltext
Computation, Physics and Beyond, p.224-240
Link zum Volltext
Computation, Physics and Beyond, p.357-375
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Turing Machine
- Algebra
- Computable Function
- Mathematical Logic
- Mathematics
- Mathematical Theorems
- Recursion Theory
- Kolmogorov Complexity
- Mathematical Lattices
- Recursive Function
- 03c57
- Algorithm Analysis And Problem Complexity
- Arithmetic
- Boolean Algebras
- Computation By Abstract Devices
- Computer Science
- Definability
- Equivalence Relation
- Exact Sciences And Technology
- Halting Probability
Kollektion
- Ingenta
- SpringerLink Series
- JSTOR
- Project Euclid Complete
- Free E-Journal (出版社公開部分のみ）
- Cambridge Journals Online (DEFF)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- American Mathematical Society Publications
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Wiley-Blackwell Journals
- Journals@Ovid Complete
- Duke University Press
- Cambridge University Press online books
- Cambridge Core All Books
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals Current Collection
- MEDLINE
Zeitschrift / Serie
- The Journal Of Symbolic Logic
- Israel Journal Of Mathematics
- Alzheimer's & Dementia
- Notre Dame Journal Of Formal Logic
- Proceedings Of The American Mathematical Society
- Transactions Of The American Mathematical Society
- Electronic Notes In Theoretical Computer Science
- Annals Of Pure And Applied Logic
- Archive For Mathematical Logic
- European Journal Of Microbiology & Immunology