Forums and Networks



Search Headquarters : Computers : Computer Science : Theoretical : Forums and Networks
4 pages found in Forums and Networks:

Average-Case Complexity Forum
Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
http://www.cs.uml.edu/~wang/acc-forum/

Computability and Complexity in Analysis Network
CCA Net aims to provide a central location for collecting information useful for researchers.
http://www.informatik.fernuni-hagen.de/import/cca/

Information-Based Complexity
Resources for computational complexity problems in the presence of partial or contaminated information.
http://www1.cs.columbia.edu/~agw/ibc/

The Types Forum
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
http://lists.seas.upenn.edu/mailman/listinfo/types-list


Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  

Forums and Networks category powered by Free PHP ODP Script © Site Directory