Login / Signup
Kristian Støvring
Publication Activity (10 Years)
Years Active: 2005-2013
Publications (10 Years): 0
Top Topics
Higher Order
Explanation Based Generalization
Markov Models
Domain Theory
Top Venues
J. Log. Algebraic Methods Program.
Math. Struct. Comput. Sci.
Log. Methods Comput. Sci.
</>
Publications
</>