| 1991 |
|---|
| 6 | | Thomas Filkorn,
Richard Schmid,
Erik Tidén,
Peter Warkentin:
Experiences from a Large Industrial Circuit Design Application.
ISLP 1991: 581-595 |
| 5 | | Klaus Estenfeld,
Hans-Albert Schneider,
Dirk Taubner,
Erik Tidén:
Computer Aided Verification of Parallel Processes.
VIS 1991: 208-226 |
| 1990 |
|---|
| 4 | | 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: 97-118 (1990) |
| 1987 |
|---|
| 3 | | Erik Tidén,
Stefan Arnborg:
Unification Problems with One-Sided Distributivity.
J. Symb. Comput. 3(1/2): 183-202 (1987) |
| 1986 |
|---|
| 2 | | Erik Tidén:
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.
CADE 1986: 431-449 |
| 1985 |
|---|
| 1 | | Stefan Arnborg,
Erik Tidén:
Unification Problems with One-Sided Distributivity.
RTA 1985: 398-406 |
