Erik Tidén

According to our database, Erik Tidén authored at least 5 papers between 1985 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Computer Aided Verification of Parallel Processes.

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén

Proceedings of the VIS'91, 1991

Experiences from a Large Industrial Circuit Design Application.

Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Symbolic Constraint Handling Through Unification in Finite Algebras.

Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén

Appl. Algebra Eng. Commun. Comput., 1990

1986

Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols.

Erik Tidén

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Unification Problems with One-Sided Distributivity.

Stefan Arnborg, Erik Tidén

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985