Peter K. Rathmann

Publication Activity (10 Years)

Years Active: 1986-1994
Publications (10 Years): 0

Publications

Peter K. Rathmann, Marianne Winslett, Mark S. Manasse
Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. J. ACM 41 (5) (1994)
Peter K. Rathmann, Gio Wiederhold
Circumscription and Authority. Artificial and Mathematical Theory of Computation (1991)
Peter K. Rathmann, Marianne Winslett
Circumscribing Equality. IJCAI (1989)
Peter K. Rathmann
The Cost of Locking. ICDT (1986)