Buss, Samuel R. - University of California, San Diego - Proof theory, computational complexity.


Home		Set as Homepage		Add to Favorite		Contact

28 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Science » Math » Logic and Foundations » People	UPDATE INFO \| REPORT BROKEN LINK
Buss, Samuel R.	Popularity: Hit: 55

Details:

	University of California, San Diego - Proof theory, computational complexity. Sponsored Links:
URL:	http://math.ucsd.edu/~sbuss/
Title:	Samuel R. Buss: Home page
Description:	Science, Math, Logic and Foundations, People - Buss, Samuel R.. University of California, San Diego - Proof theory, computational complexity.
Specialized in:

Aczel, Peter (Popularity:

): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Avigad, Jeremy (Popularity:

): Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Awodey, Steve (Popularity:

): Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. (Popularity:

): University of Illinois, Chicago - Model theory (finite and infinite).
Bartoszynski, Tomek (Popularity:

): Boise State University - Set theory.
Blass, Andreas R. (Popularity:

): University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
Bouscaren, Elisabeth (Popularity:

): CNRS / University of Paris 7 - Model theory and algebraic geometry.
Buechler, Steven (Popularity:

): University of Notre Dame - Model theory.
Burris, Stanley (Popularity:

): University of Waterloo - Universal algebra, logic, computers.
Carnielli, Walter A. (Popularity:

): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.

Popular Sites

Wansing, Heinrich (Popularity:

): Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of ...
Baldwin, John T. (Popularity:

): University of Illinois, Chicago - Model theory (finite and infinite).
Japaridze, Giorgi (Popularity:

): Villanova University - computability logic, game semantics, provability logic.
Carnielli, Walter A. (Popularity:

): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Aczel, Peter (Popularity:

): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

Related Press

River Blindness (Onchocerciasis) Reduced By Nearly One-Third In At-Risk Populations In Six Countries (Popularity:

): A regional initiative launched in the 1990s to eliminate onchocerciasis (river blindness) in the Americas has substantially reduced the prevalence ...
ASTMH Symposium Showcases Efforts To Meet the Need for New Medicines to Treat Infectious Diseases in Developing Countries (Popularity:

): An urgent need for new medicines to treat neglected infectious diseases in the developing world has prompted a growing number ...
Increase in Shoplifting Has Retailers Turning to New Technologies to Combat Crime This Holiday Season (Popularity:

): The busiest shopping season of the year is upon us and more shoppers in stores mean more shoplifting and theft. ...
Newly Designed Swarovski Crystal Star Unveiled for the 2009 Rockefeller Center(R) Christmas Tree (Popularity:

): Swarovski, the leading producer of crystal stones and crystal fashion jewelry, today unveiled the newly refurbished crystal star that will ...
comScore Releases October 2009 U.S. Search Engine Rankings (Popularity:

): comScore, Inc. (Nasdaq: SCOR), a leader in measuring the digital world, today released its monthly comScore qSearch analysis of the ...

Related Articles

Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
The San Diego Home market - Has it Bottomed out yet? (Popularity:

): As someone who has been in san diego for over 30 years, I have seen the ups and downs of ...
Don't Say No to Christmas This Year, Make Money Online and Work From Home (Popularity:

): If you're in the same predicament as millions of Americans and people all over the world, you are probably wondering ...
Climate Change and Global Warming Versus Global Cooling (Popularity:

): There is some global warming from vast amounts of anthropogenic or man made pollution. The industrial age brought about a ...
Texas is Truly Bigger and Better (Popularity:

): Texas, the state where everything grows big with lots of room for even more expansions. The hats are big, the ...