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/Q5337709	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5339679	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517191	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/Q5511852	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5512427	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517192	1960-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tomasz Pietrzykowski