|
Search the dblp DataBase
Tomasz Pietrzykowski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Philip T. Cox, Tomasz Pietrzykowski
General Diagnosis by Abductive Inference. [Citation Graph (2, 0)][DBLP] SLP, 1987, pp:183-189 [Conf]
- Philip T. Cox, Tomasz Pietrzykowski
Visual Message Flow Language MFL and its Interaface. [Citation Graph (0, 0)][DBLP] Advanced Visual Interfaces, 1992, pp:348-361 [Conf]
- Philip T. Cox, Tomasz Pietrzykowski
A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP] CADE, 1980, pp:374-385 [Conf]
- Philip T. Cox, Tomasz Pietrzykowski
Causes for Events: Their Computation and Applications. [Citation Graph (0, 0)][DBLP] CADE, 1986, pp:608-621 [Conf]
- Stan Matwin, Tomasz Pietrzykowski
Exponential Improvement of Efficient Backtracking: data Structure and Implementation. [Citation Graph (0, 0)][DBLP] CADE, 1982, pp:240-259 [Conf]
- Tomasz Pietrzykowski, Stan Matwin
Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1982, pp:223-239 [Conf]
- Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski
Abduction in Logic Programming with Equality. [Citation Graph (0, 0)][DBLP] FGCS, 1992, pp:539-545 [Conf]
- Tomasz Pietrzykowski
Application of the Steepest Ascent Method to Concave Programming. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1962, pp:185-189 [Conf]
- Julie Zweigoron, John Bierbauer, Scott Knaster, Tomasz Pietrzykowski, John R. Pugh
Object oriented programming in the computer science curriculum (panel session). [Citation Graph (0, 0)][DBLP] SIGCSE, 1990, pp:260- [Conf]
- Philip T. Cox, Tomasz Pietrzykowski
Surface Deduction: A Uniform Mechanism for Logic Programming. [Citation Graph (0, 0)][DBLP] SLP, 1985, pp:220-227 [Conf]
- Stan Matwin, Tomasz Pietrzykowski
Prograph: A Preliminary Report. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1985, v:10, n:2, pp:91-126 [Journal]
- Tomasz Pietrzykowski
A Complete Mechanization of Second-Order Type Theory. [Citation Graph (0, 0)][DBLP] J. ACM, 1973, v:20, n:2, pp:333-364 [Journal]
- Philip T. Cox, Tomasz Pietrzykowski
A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1984, v:28, n:, pp:239-261 [Journal]
- D. C. Jensen, Tomasz Pietrzykowski
Mechanizing omega-Order Type Theory Through Unification. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1976, v:3, n:2, pp:123-171 [Journal]
- Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski
Equality and Abductive Residua for Horn Clauses. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:120, n:1, pp:1-44 [Journal]
Search in 0.002secs, Finished in 0.002secs
|