Travelled to:
1 × France
1 × USA
Collaborated with:
∅ S.Arnborg T.Filkorn R.Schmid P.Warkentin
Talks about:
unif (2) distribut (1) industri (1) function (1) disjoint (1) problem (1) collaps (1) circuit (1) theori (1) symbol (1)
Person: Erik Tidén
DBLP: Tid=eacute=n:Erik
Contributed to:
Wrote 3 papers:
- ISLP-1991-FilkornSTW #case study #design #experience #industrial #scalability
- Experiences from a Large Industrial Circuit Design Application (TF, RS, ET, PW), pp. 581–595.
- CADE-1986-Tiden #set #unification
- Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols (ET), pp. 431–449.
- RTA-1985-ArnborgT #problem #unification
- Unification Problems with One-Sided Distributivity (SA, ET), pp. 398–406.