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

Peter K. Rathmann

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

1994
3EEPeter K. Rathmann, Marianne Winslett, Mark S. Manasse: Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. J. ACM 41(5): 819-873 (1994)
1989
2 Peter K. Rathmann, Marianne Winslett: Circumscribing Equality. IJCAI 1989: 468-476
1986
1EEPeter K. Rathmann: The Cost of Locking. ICDT 1986: 365-379

Coauthor Index

1Mark S. Manasse (Mark Manasse) [3]
2Marianne Winslett [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)