Tomasz Pietrzykowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 970711 (Why is no real title available?)	1997-01-23	Paper
Equality and abductive residua for Horn clauses Theoretical Computer Science	1993-12-20	Paper
Incorporating equality into logic programming via surface deduction Annals of Pure and Applied Logic	1986-01-01	Paper
scientific article; zbMATH DE number 4049120 (Why is no real title available?)	1986-01-01	Paper
Intelligent Backtracking in Plan-Based Deduction IEEE Transactions on Pattern Analysis and Machine Intelligence	1985-01-01	Paper
A complete, nonredundant algorithm for reversed Skolemization Theoretical Computer Science	1984-01-01	Paper
Deduction Plans: A Basis for Intelligent Backtracking IEEE Transactions on Pattern Analysis and Machine Intelligence	1981-01-01	Paper
scientific article; zbMATH DE number 3729472 (Why is no real title available?)	1980-01-01	Paper
Mechanizing \(\omega\)-order type theory through unification Theoretical Computer Science	1977-01-01	Paper
A Penalty Function Method Converging Directly to a Constrained Optimum SIAM Journal on Numerical Analysis	1977-01-01	Paper
A Complete Mechanization of Second-Order Type Theory Journal of the ACM	1973-01-01	Paper
A generalization of the potential method for conditional maxima on the Banach reflexive spaces Numerische Mathematik	1972-01-01	Paper
Erratum: An Exact Potential Method for Constrained Maxima SIAM Journal on Numerical Analysis	1971-01-01	Paper
The potential method for conditional maxima in the locally compact metric spaces Numerische Mathematik	1970-01-01	Paper
An Exact Potential Method for Constrained Maxima SIAM Journal on Numerical Analysis	1969-01-01	Paper
scientific article; zbMATH DE number 3228998 (Why is no real title available?)	1963-01-01	Paper
scientific article; zbMATH DE number 3210530 (Why is no real title available?)	1963-01-01	Paper
scientific article; zbMATH DE number 3212445 (Why is no real title available?)	1963-01-01	Paper
scientific article; zbMATH DE number 3202799 (Why is no real title available?)	1962-01-01	Paper
scientific article; zbMATH DE number 3223362 (Why is no real title available?)	1961-01-01	Paper
scientific article; zbMATH DE number 3235621 (Why is no real title available?)	1961-01-01	Paper
scientific article; zbMATH DE number 3228999 (Why is no real title available?)	1960-01-01	Paper
scientific article; zbMATH DE number 3223351 (Why is no real title available?)	1960-01-01	Paper
scientific article; zbMATH DE number 3223949 (Why is no real title available?)	1960-01-01	Paper

Research outcomes over time

This page was built for person: Tomasz Pietrzykowski