Michael R. Hansen

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 2

Top Topics

Functional Programming

Cardinality Constraints

Presburger Arithmetic

Top Venues

J. Log. Algebraic Methods Program.

Ann. Math. Artif. Intell.

Specification, Algebra, and Software

Publications