dblp.uni-trier.dewww.uni-trier.de

Erik Tidén Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
2EEErik Tidén: Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. CADE 1986: 431-449
1985
1EEStefan Arnborg, Erik Tidén: Unification Problems with One-Sided Distributivity. RTA 1985: 398-406

Coauthor Index

1Stefan Arnborg [1] [3]
2Wolfram Büttner [4]
3Klaus Estenfeld [4] [5]
4Thomas Filkorn [6]
5Richard Schmid [4] [6]
6Hans-Albert Schneider [4] [5]
7Dirk Taubner [5]
8Peter Warkentin [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)