Directory: Informatics - Theoretical
You are here: adaxas > Science & Engineering > Informatics > Theoretical- Subcategories:
- Asynchronous Computability
- Automata Theory
- Complexity Theory
- Conferences
- People
- Quantum Computing
- Research Groups
Listed sites in Theoretical
-
SourceForge.net: Turing and Post Machines: C++ Simulators
The world's largest development and download repository of Open Source code and applications
url: http://sourceforge.net/projects/turin... size: 34322 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
New Page 1
The webmaster of this site did not set a description tag!
url: http://www.informatics.bangor.ac.uk/~... size: 3443 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
TOCL Top Page
The webmaster of this site did not set a description tag!
url: http://www.acm.org/pubs/tocl/ size: 409 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
European Association for Theoretical Computer Science
The webmaster of this site did not set a description tag!
url: http://www.eatcs.org/ size: 917 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Cambridge Journals Online - Theory and Practice of Logic Programming
The webmaster of this site did not set a description tag!
url: http://journals.cambridge.org/journal... size: 60394 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
sigact.acm.org/sigactnews/online.html
The webmaster of this site did not set a description tag!
url: http://sigact.acm.org/sigactnews/onli... size: 1584 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Journal of Graph Algorithms and Applications
The webmaster of this site did not set a description tag!
url: http://www.cs.brown.edu/publications/... size: 26981 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Journal of Logic Programming
The webmaster of this site did not set a description tag!
url: http://www.informatik.uni-trier.de/~l... size: 2885 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Wiley-VCH - MLQ - Mathematical Logic Quarterly
Mathematical Logic Quarterly (MLQ) (formerly: Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik) is an international journal for the publication of original research papers on mathematical logic, foundations of mathematics and related are
url: http://www.wiley-vch.de/publish/en/jo... size: 36038 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
DMTCS: Discrete Mathematics and Theoretical Computer Science
Server for Discrete Mathematics & Theoretical Computer Science
url: http://www.dmtcs.org/ size: 2409 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
The Electronic Journal of Combinatorics
The webmaster of this site did not set a description tag!
url: http://www.combinatorics.org/ size: 638 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Chicago Journal of Theoretical Computer Science
The webmaster of this site did not set a description tag!
url: http://cjtcs.cs.uchicago.edu/ size: 13421 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
The TYPES Forum
The webmaster of this site did not set a description tag!
url: http://lists.seas.upenn.edu/mailman/l... size: 10259 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Information-Based Complexity
The webmaster of this site did not set a description tag!
url: http://www.cs.columbia.edu/~agw/ibc/ size: 1980 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Computability and Complexity in Analysis - Network
The webmaster of this site did not set a description tag!
url: http://www.informatik.fernuni-hagen.d... size: 2364 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Average-Case Complexity Forum
The webmaster of this site did not set a description tag!
url: http://www.uncg.edu/mat/acc-forum/ size: 3888 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
L. Levin. Theory of Computation.
The webmaster of this site did not set a description tag!
url: http://www.cs.bu.edu/fac/lnd/toc/ size: 2407 - last check: - status: 200
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Computability theory - Wikipedia, the free encyclopedia
The webmaster of this site did not set a description tag!
url: http://en.wikipedia.org/wiki/Computab... size: 14282 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
Interactive computation - Wikipedia, the free encyclopedia
The webmaster of this site did not set a description tag!
url: http://en.wikipedia.org/wiki/Interact... size: 16244 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
-
COMPUTABILITY LOGIC Homepage
giorgi.japaridze@villanova.edu
Computability logic is a recently introduced framework and research program for redeveloping logic as a formal theory of computability, as opposed to a formal theory of truth which it has more traditionally been. This page is the basic Internet source of
url: http://www.cis.upenn.edu/~giorgi/cl.html size: 24137 - last check: - status: 206
adaxas rank: 0:
(^_~) visitors rate and tag it! and webmasters improve their site! || comment
popular tags for this site: tags not yet set
web links
ads