Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Science / Math / Logic_and_Foundations / People /

Carlstrom, Jesper Stockholm University - Constructive type theory and related mathematics. http://www.math.su.se/~jesper/ Su.se  ~   Site Info   Whois   Trace Route   RBL Check   Pollett, Chris San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation. http://www.cs.sjsu.edu/faculty/pollett/ Sjsu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Guglielmi, Alessio Technische Universitaet Dresden - Proof Theory. http://alessio.guglielmi.name/ Guglielmi.name  ~   Site Info   Whois   Trace Route   RBL Check   Plotkin, Gordon Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html Ed.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Parikh, Rohit Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language. http://www.sci.brooklyn.cuny.edu/cis/parikh/ Cuny.edu  ~   Site Info   Whois   Trace Route   RBL Check   Van Benthem, Johan University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic. http://staff.science.uva.nl/~johan/ Uva.nl  ~   Site Info   Whois   Trace Route   RBL Check   Beklemishev, Lev Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. http://www.phil.uu.nl/~lev/ Uu.nl  ~   Site Info   Whois   Trace Route   RBL Check   Lindell, Steven Haverford College - Finite model theory, descriptive complexity. http://www.haverford.edu/cmsc/slindell/ Haverford.edu  ~   Site Info   Whois   Trace Route   RBL Check   Leivant, Daniel Indiana University - Computational complexity. http://www.cs.indiana.edu/~leivant/ Indiana.edu  ~   Site Info   Whois   Trace Route   RBL Check   Dosen, Kosta University of Belgrade - Proof theory, category theory. http://www.mi.sanu.ac.yu/~kosta/ Ac.yu  ~   Site Info   Whois   Trace Route   RBL Check