Richard Schmid

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
Experiences from a Large Industrial Circuit Design Application. ISLP (1991)
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 (1990)
Richard Schmid, Hans-Albert Schneider, Thomas Filkorn
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reason. 5 (3) (1989)