Hans Olsén

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

Laurent Fribourg, Hans Olsén
Reachability sets of parameterized rings as regular languages. INFINITY (1997)
Laurent Fribourg, Hans Olsén
A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters. Constraints An Int. J. 2 (3/4) (1997)
Laurent Fribourg, Hans Olsén
Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic. CONCUR (1997)
Laurent Fribourg, Hans Olsén
Reductions of Petri Nets and Unfolding of Propositional Logic Programs. LOPSTR (1996)
Laurent Fribourg, Hans Olsén
A Unifying View of Structural Induction and Computation Induction for Logic Programs. LOPSTR (1992)