Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

422 items matching your criteria

Sort by:
Filter By:
Subject: Topic F - Theory of Computation
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
11 12 13 14 15
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
The Riemann Integral in Weak Systems of Analysis
Fernando Ferreira, Gilda Ferreira
10.3217/jucs-014-06-0908
 28-03-2008
 Unique: 326 | Total: 382  | Access Period:
 908-937
HTML
XML
PDF
Research Article
Bloch's Constant is Computable
Robert Rettinger
10.3217/jucs-014-06-0896
 28-03-2008
 Unique: 282 | Total: 317  | Access Period:
 896-907
HTML
XML
PDF
Research Article
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
Christoph Spandl
10.3217/jucs-014-06-0876
 28-03-2008
 Unique: 316 | Total: 361  | Access Period:
 876-895
HTML
XML
PDF
Research Article
On the Subrecursive Computability of Several Famous Constants
Dimiter Skordev
10.3217/jucs-014-06-0861
 28-03-2008
 Unique: 332 | Total: 422  | Access Period:
 861-875
HTML
XML
PDF
Research Article
Computable Riesz Representation for Locally Compact Hausdorff Spaces
Hong Lu, Klaus Weihrauch
10.3217/jucs-014-06-0845
 28-03-2008
 Unique: 323 | Total: 362  | Access Period:
 845-860
HTML
XML
PDF
Research Article
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
Klaus Weihrauch
10.3217/jucs-014-06-0801
 28-03-2008
 Unique: 342 | Total: 393  | Access Period:
 801-844
HTML
XML
PDF
Research Article
A Linear Time Approximation Algorithm for Ruler Folding Problem
Ali Nourollah, Mohammadreza Razzazi
10.3217/jucs-014-04-0566
 28-02-2008
 Unique: 346 | Total: 415  | Access Period:
 566-574
HTML
XML
PDF
Research Article
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
Mario Bravetti, Adalberto Casalboni,     Manuel Núñez,     Ismael Rodriguez
10.3217/jucs-013-13-2035
 28-12-2007
 Unique: 398 | Total: 478  | Access Period:
 2035-2075
HTML
XML
PDF
Research Article
Spiking Neural P Systems with Astrocyte-Like Control
Gheorghe Păun
10.3217/jucs-013-11-1707
 28-11-2007
 Unique: 373 | Total: 469  | Access Period:
 1707-1721
HTML
XML
PDF
Research Article
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings
Laurentiu Leustean
10.3217/jucs-013-11-1680
 28-11-2007
 Unique: 336 | Total: 390  | Access Period:
 1680-1691
HTML
XML
PDF
Research Article
Graded Sparse Graphs and Matroids
Audrey Lee, Ileana Streinu, Louis Theran
10.3217/jucs-013-11-1671
 28-11-2007
 Unique: 403 | Total: 485  | Access Period:
 1671-1679
HTML
XML
PDF
Research Article
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
Afrodita Iorgulescu
10.3217/jucs-013-11-1628
 28-11-2007
 Unique: 347 | Total: 401  | Access Period:
 1628-1654
HTML
XML
PDF
Left Arrow
11 12 13 14 15
Right Arrow

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK