Erik Tidén

Publication Activity (10 Years)

Years Active: 1985-1991
Publications (10 Years): 0

Publications

Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
Experiences from a Large Industrial Circuit Design Application. ISLP (1991)
Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. VIS (1991)
Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén
Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1 (1990)
Erik Tidén, Stefan Arnborg
Unification Problems with One-Sided Distributivity. J. Symb. Comput. 3 (1/2) (1987)
Erik Tidén
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. CADE (1986)
Stefan Arnborg, Erik Tidén
Unification Problems with One-Sided Distributivity. RTA (1985)