Computers » Computer Science » Theoretical » Forums and Networks (index): The Types Forum, Information-Based Complexity, Computability and Complexity in Analysis Network, Average-Case Complexity Forum ...


Home		Set as Homepage		Add to Favorite		Contact

02 December, 2008

egories

Category: Main » Computers » Computer Science » Theoretical » Forums and Networks

	Sites	Records 1-5 of 5
		Order by Date Added \| Popularity \| Alphabet

The Types Forum (Popularity:

)

E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.

)

Resources for computational complexity problems in the presence of partial or contaminated information.

)

CCA Net aims to provide a central location for collecting information useful for researchers.

)

Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.

CAC-NET/FoCM-NET (Popularity:

)

Electronic forum for researchers in Continuous Algorithms and Complexity and Foundations of Computational Mathematics.