Searching for authors named "Jerzy Marcinkowski" – sorted by Relevance.
-
The ∃*∀* part of the theory of ground term algebra modulo an AC symbol is undecidable
- Marcinkowski ?? jma@(email omitted); Institute of Computer Science University of Wroc law, ul. Przesmyckiego 20
- Add To MetaCart
-
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïsé Games
- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Frais'e games Jerzy Marcinkowski jma
- Cited by 5 (2 self) – Add To MetaCart
-
On the Computational Complexity of Consistent Query Answers
- University at Buffalo chomicki@(email omitted); Jerzy Marcinkowski Instytut Informatyki Wroclaw University
- Cited by 13 (4 self) – Add To MetaCart
-
Modulo Constraints and the Complexity of Typechecking XML Views
- Modulo Constraints and the Complexity of ⋆ ⋆⋆ Typechecking XML Views Jerzy Marcinkowski and Piotr
- Add To MetaCart
-
Optimal Complexity Bounds for Positive LTL Games
- Optimal Complexity Bounds for Positive LTL Games Jerzy Marcinkowski # and Tomasz Truderung
- Cited by 3 (0 self) – Add To MetaCart
-
Minimal-Change Integrity Maintenance Using Tuple Deletions
- @(email omitted);. Jerzy Marcinkowski Institute of Informatics, Wroclaw University, Przesmyckiego 20, 51-151 Wroclaw
- Cited by 47 (6 self) – Add To MetaCart
-
On The Expressive Power of Graph Logic
- On The Expressive Power of Graph Logic Jerzy Marcinkowski Institute of Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
The Hierarchy Inside Closed Monadic Σ1 Collapses on the Infinite Binary Tree
- , Giacomo Lenzi 1 , and Jerzy Marcinkowski 2 1 Laboratoire Bordelais de Recherche en Informatique
- Add To MetaCart
-
Hippo: A system for computing consistent answers to a class of sql queries
- and Introduction Jan Chomicki 1 , Jerzy Marcinkowski 2 , and Slawomir Staworko 1 1 Dept. Computer Science
- Cited by 8 (2 self) – Add To MetaCart
-
Preference-driven querying of inconsistent relational databases
- Chomicki 1 , and Jerzy Marcinkowski 2 1 University at Buffalo {staworko, chomicki}@(email omitted); 2
- Cited by 2 (1 self) – Add To MetaCart

