Search the dblp DataBase
Erik Tidén: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Erik Tidén
Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. [Citation Graph (0, 0)][DBLP]
CADE, 1986, pp:431-449 [Conf] - Stefan Arnborg, Erik Tidén
Unification Problems with One-Sided Distributivity. [Citation Graph (0, 0)][DBLP]
RTA, 1985, pp:398-406 [Conf] - Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
Experiences from a Large Industrial Circuit Design Application. [Citation Graph (0, 0)][DBLP]
ISLP, 1991, pp:581-595 [Conf] - Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. [Citation Graph (0, 0)][DBLP]
VIS, 1991, pp:208-226 [Conf] - Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén
Symbolic Constraint Handling Through Unification in Finite Algebras. [Citation Graph (0, 0)][DBLP]
Appl. Algebra Eng. Commun. Comput., 1990, v:1, n:, pp:97-118 [Journal] - Erik Tidén, Stefan Arnborg
Unification Problems with One-Sided Distributivity. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1987, v:3, n:1/2, pp:183-202 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002