Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Marcinkowski, Jerzy"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
All-instances termination of chase is undecidable
Tomasz Gogacz
,
Jerzy Marcinkowski
Lecture Notes in Computer Science
8573
, 2014, pp. 293-304
B and D are enough to make the Halpern-Shoham logic undecidable
Jerzy Marcinkowski
,
Jakub Michaliszyn
,
Emanuel KieroĊski
Lecture Notes in Computer Science
6199
, 2010, pp. 357-368
Modulo constraints and the complexity of typechecking XML views
Jerzy Marcinkowski
,
Piotr Wieczorek
Theory of Computing Systems
44
(4), 2009, pp. 620-652
Minimal-change integrity maintenance using tuple deletions
Jan Chomicki
,
Jerzy Marcinkowski
Information and Computation
197
(1-2), 2005, pp. 90-121
Two techniques in the area of the star problem in trace monoids
Daniel Kirsten
,
Jerzy Marcinkowski
Theoretical Computer Science
309
(1-3), 2003, pp. 381-412
The
\exists^\ast\forall^\ast
part of the theory of ground term algebra modulo an
AC
symbol is undecidable
Jerzy Marcinkowski
Information and Computation
178
(2), 2002, pp. 412-421
A toolkit for first order extensions of monadic games
David Janin
,
Jerzy Marcinkowski
Lecture Notes in Computer Science
2010
, 2001, pp. 353-364
Two techniques in the area of the star problem
Daniel Kirsten
,
Jerzy Marcinkowski
Lecture Notes in Computer Science
1644
, 1999, pp. 483-492
Achilles, Turtle, and undecidable boundedness problems for small DATALOG programs
Jerzy Marcinkowski
SIAM Journal on Computing
29
(1), 1999, pp. 231-257
The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG programs
Jerzy Marcinkowski
Lecture Notes in Computer Science
1046
, 1996, pp. 427-438
Undecidability of the Horn-clause implication problem
Jerzy Marcinkowski
,
Leszek Pacholski
Proceedings of the 33rd Annual IEEE Symposium on Foundations of Computer Science, FOCS'92 (Pittsburgh, PA, October 24-27, 1992)
, 1992, pp. 354-362