International Data Group (United States) — United States
Computer Science · Physical Sciences
3h-index26citations3works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(2), Quantum Mechanics and Applications(1), Quantum Computing Algorithms and Architecture(1), Logic, Reasoning, and Knowledge(1), Advanced Algebra and Logic(1)
Publications3 total
Journal of Logic and Computation·2008· 5 cited
Foundations of Physics·2002· 7 cited