BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tid=eacute=n:Erik

Contributed to:

ILPS 19911991
CADE 19861986
RTA 19851985

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.