Directory Help Search only in Forums and NetworksSearch the Web

Forums and Networks

Computers > Computer Science > Theoretical > Forums and Networks

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	The Types Forum - http://lists.seas.upenn.edu/mailman/listinfo/types-list E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
	Computability and Complexity in Analysis Network - http://www.cca-net.de/ CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.
	Information-Based Complexity - http://www1.cs.columbia.edu/~agw/ibc/ Resources for computational complexity problems in the presence of partial or contaminated information.
	Average-Case Complexity Forum - http://www.cs.uml.edu/~wang/acc-forum/ Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.

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

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...