Theory of computation, particularly the connections among logic, automata and computational complexity. His current research projects involve algebraic and model-theoretic approaches to circuit ...
MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback