- H. Seidl. Least and
Greatest Solutions of Equations over N. Nordic Journal
of Computing, 3(1):41-62, Spring 1996.
Abstract,
References,
Citations,
etc.
- Christian Fecht and Helmut Seidl. Propagating
Differences: an Efficient New Fixpoint Algorithm for Distributive
Constraint Systems. Nordic Journal of Computing,
5(4):304-329, Winter 1998.
Abstract,
References,
etc.
- Helmut Seidl and Bernhard Steffen. Constraint-Based
Inter-Procedural Analysis of Parallel Programs. Nordic Journal
of Computing, 7(4):375-400, Winter 2000.
Abstract,
References,
etc.
Shortcuts: