Hans Olsén

According to our database, Hans Olsén authored at least 5 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Reachability sets of parameterized rings as regular languages.

Laurent Fribourg, Hans Olsén

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters.

Laurent Fribourg, Hans Olsén

Constraints An Int. J., 1997

Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic.

Laurent Fribourg, Hans Olsén

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Reductions of Petri Nets and Unfolding of Propositional Logic Programs.

Laurent Fribourg, Hans Olsén

Proceedings of the Logic Programming Synthesis and Transformation, 1996

1992

A Unifying View of Structural Induction and Computation Induction for Logic Programs.

Laurent Fribourg, Hans Olsén

Proceedings of the Logic Program Synthesis and Transformation, 1992