Tomasz Pietrzykowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1980–1992
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | AVI | Visual Message Flow Language MFL and its Interaface. | Philip T. Cox, Tomasz Pietrzykowski |
| 1990 | SIGCSE | Object oriented programming in the computer science curriculum (panel session). | Julie Zweigoron, John Bierbauer, Scott Knaster, Tomasz Pietrzykowski, John R. Pugh |
| 1986 | CADE | Causes for Events: Their Computation and Applications. | Philip T. Cox, Tomasz Pietrzykowski |
| 1983 | ICLP | Intelligent Backtracking for Automated Deduction in FOL. | Stan Matwin, Tomasz Pietrzykowski |
| 1982 | CADE | Exponential Improvement of Efficient Backtracking: data Structure and Implementation. | Stan Matwin, Tomasz Pietrzykowski |
| 1982 | CADE | Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. | Tomasz Pietrzykowski, Stan Matwin |
| 1980 | CADE | A Complete, Nonredundant Algorithm for Reversed Skolemization. | Philip T. Cox, Tomasz Pietrzykowski |