 |
 Directories |
| |
|
|
|
 Recent Listings |
| |
|
|
|
|
Schmidt, Renate |
Popularity:  Hit: 41 | Visit: 1 |
|
|
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Sponsored Links:
|
| URL: |
|
| Title: |
|
| Description: |
|
| Category: |
Heiko Schmidt
-
Durrett Schmidt
-
Hilbert Schmidt Operator
|
|
 |
|
 |
|
 Related sites |
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 ...
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).
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.
Buss, Samuel R. (Popularity: ): University of California, San Diego - Proof theory, computational complexity.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite ...
|
|
|
 |
|
 |
|
|
|
