Tomasz Pietrzykowski

From MaRDI portal
Person:1844060

Available identifiers

zbMath Open pietrzykowski.tomaszMaRDI QIDQ1844060

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q56888961997-01-23Paper
Equality and abductive residua for Horn clauses1993-12-20Paper
Incorporating equality into logic programming via surface deduction1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37860071986-01-01Paper
Intelligent Backtracking in Plan-Based Deduction1985-01-01Paper
A complete, nonredundant algorithm for reversed Skolemization1984-01-01Paper
Deduction Plans: A Basis for Intelligent Backtracking1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39175101980-01-01Paper
Mechanizing \(\omega\)-order type theory through unification1977-01-01Paper
A Penalty Function Method Converging Directly to a Constrained Optimum1977-01-01Paper
A Complete Mechanization of Second-Order Type Theory1973-01-01Paper
A generalization of the potential method for conditional maxima on the Banach reflexive spaces1972-01-01Paper
Erratum: An Exact Potential Method for Constrained Maxima1971-01-01Paper
The potential method for conditional maxima in the locally compact metric spaces1970-01-01Paper
An Exact Potential Method for Constrained Maxima1969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53377091963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53396791963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55171911963-01-01Paper
https://portal.mardi4nfdi.de/entity/Q53293601962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55118631961-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55232471961-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55118521960-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55124271960-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55171921960-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Tomasz Pietrzykowski