Tomasz Pietrzykowski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

15 Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski: Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. 120(1): 1-44 (1993)

13 Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski: Abduction in Logic Programming with Equality. FGCS 1992: 539-545

Selection of 2 from 15 records - Tomasz Pietrzykowski has 8 coauthors

15		Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski: Equality and Abductive Residua for Horn Clauses. Theor. Comput. Sci. 120(1): 1-44 (1993)
13		Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski: Abduction in Logic Programming with Equality. FGCS 1992: 539-545