Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Peter Padawitz. Deduction and declarative programming. Volume 28 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1992.
No references recorded for this publication.
No citations of this publication recorded.