Login / Signup
Michael R. Hansen
ORCID
Publication Activity (10 Years)
Years Active: 1983-2016
Publications (10 Years): 2
Top Topics
Functional Programming
Model Checking
Cardinality Constraints
Presburger Arithmetic
Top Venues
J. Log. Algebraic Methods Program.
Ann. Math. Artif. Intell.
Specification, Algebra, and Software
IFL
</>
Publications
</>