Tomasz Pietrzykowski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8 Stan Matwin, Tomasz Pietrzykowski: Prograph: A Preliminary Report. Comput. Lang. 10(2): 91-126 (1985)

6 Tomasz Pietrzykowski, Stan Matwin: Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. CADE 1982: 223-239

5 Stan Matwin, Tomasz Pietrzykowski: Exponential Improvement of Efficient Backtracking: data Structure and Implementation. CADE 1982: 240-259

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

8		Stan Matwin, Tomasz Pietrzykowski: Prograph: A Preliminary Report. Comput. Lang. 10(2): 91-126 (1985)
6		Tomasz Pietrzykowski, Stan Matwin: Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. CADE 1982: 223-239
5		Stan Matwin, Tomasz Pietrzykowski: Exponential Improvement of Efficient Backtracking: data Structure and Implementation. CADE 1982: 240-259