Tomasz Pietrzykowski

Available identifiers

zbMath Open pietrzykowski.tomaszMaRDI QIDQ1844060

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5688896	1997-01-23	Paper
Equality and abductive residua for Horn clauses	1993-12-20	Paper
Incorporating equality into logic programming via surface deduction	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786007	1986-01-01	Paper
Intelligent Backtracking in Plan-Based Deduction	1985-01-01	Paper
A complete, nonredundant algorithm for reversed Skolemization	1984-01-01	Paper
Deduction Plans: A Basis for Intelligent Backtracking	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3917510	1980-01-01	Paper
Mechanizing \(\omega\)-order type theory through unification	1977-01-01	Paper
A Penalty Function Method Converging Directly to a Constrained Optimum	1977-01-01	Paper
A Complete Mechanization of Second-Order Type Theory	1973-01-01	Paper
A generalization of the potential method for conditional maxima on the Banach reflexive spaces	1972-01-01	Paper
Erratum: An Exact Potential Method for Constrained Maxima	1971-01-01	Paper
The potential method for conditional maxima in the locally compact metric spaces	1970-01-01	Paper
An Exact Potential Method for Constrained Maxima	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517191	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5337709	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5339679	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5329360	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5511863	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5523247	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517192	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5511852	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5512427	1960-01-01	Paper

Research outcomes over time

This page was built for person: Tomasz Pietrzykowski