Jerzy Marcinkowski

From MaRDI portal
Person:314824

Available identifiers

zbMath Open marcinkowski.jerzyMaRDI QIDQ314824

List of research outcomes





PublicationDate of PublicationType
Uniform Restricted Chase Termination2023-06-09Paper
https://portal.mardi4nfdi.de/entity/Q58743552023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q50911282022-07-21Paper
Can One Escape Red Chains?2021-01-20Paper
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable2018-04-23Paper
Undecidability of the first order theory of one-step right ground rewriting2017-11-17Paper
The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs2017-11-16Paper
Converging to the Chase -- A Tool for Finite Controllability2017-07-03Paper
Converging to the chase -- a tool for finite controllability2016-09-16Paper
All–Instances Termination of Chase is Undecidable2014-07-01Paper
The Undecidability of the Logic of Subintervals2014-05-12Paper
Prioritized repairing and consistent query answering in relational databases2012-10-01Paper
B and D Are Enough to Make the Halpern–Shoham Logic Undecidable2010-09-07Paper
Disjunctive databases for representing repairs2010-08-13Paper
Modulo constraints and the complexity of typechecking XML views2009-08-06Paper
On the Expressive Power of Graph Logic2009-03-12Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
Inconsistency Tolerance2005-08-17Paper
Minimal-change integrity maintenance using tuple deletions2005-05-12Paper
Two techniques in the area of the star problem in trace monoids2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q44118282003-07-10Paper
Thue trees2003-03-09Paper
https://portal.mardi4nfdi.de/entity/Q27625162002-01-09Paper
The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable.2002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49452362000-10-17Paper
https://portal.mardi4nfdi.de/entity/Q49386422000-08-02Paper
https://portal.mardi4nfdi.de/entity/Q49385992000-02-23Paper
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs1999-10-28Paper
https://portal.mardi4nfdi.de/entity/Q42303591999-04-19Paper
https://portal.mardi4nfdi.de/entity/Q43498041998-01-25Paper

Research outcomes over time

This page was built for person: Jerzy Marcinkowski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:314824&oldid=7695038"
Powered by MediaWiki