Login / Signup
Steve Awodey
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 6
Top Topics
Dempster Shafer
Computer Algebra
Mathematical Framework
Planning Problems
Top Venues
Math. Struct. Comput. Sci.
CoRR
ACM SIGLOG News
LICS
</>
Publications
</>