Welcome to D
SIGMOD'00
PODS'00
SIGMOD Recor
CIKM 2000/CI
COMAD 2000
Data Enginee
DL 2000
DPDJ
EDBT 2000
Hypertext 20
ICDE 2000
KDD 2000
KDD Explorat
KRDB 2000
SBBD 2000
SIGIR 2000
SIGIR Forum
SSDBM 2000
TODS
VLDB'00
VLDBJ
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2001 Pr
ADVIS
DiSC'01 Feed
DiSC'01 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Evgeny Dantsin

Papers on DiSC'01


Expressive Power and Data Complexity of Query Languages for Trees and Lists

Publications


Note: Links lead to the DBLP on the Web.

Evgeny Dantsin

8 Evgeny Dantsin, Edward A. Hirsch , Sergei Ivanov , Maxim Vsemirnov : Algorithms for SAT and Upper Bounds on Their Complexity. Electronic Colloquium on Computational Complexity (ECCC) (012): (2001)

7 Evgeny Dantsin, Andreas Goerdt , Edward A. Hirsch , Uwe Schöning : Deterministic Algorithms for k -SAT Based on Covering Codes and Local Search. ICALP 2000 : 236-247

6 Evgeny Dantsin, Andrei Voronkov : Expressive Power and Data Complexity of Query Languages for Trees and Lists. PODS 2000 : 157-165

5 Evgeny Dantsin, Andrei Voronkov : A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. FoSSaCS 1999 : 180-196

4 Evgeny Dantsin, Thomas Eiter , Georg Gottlob , Andrei Voronkov : Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997 : 82-101

3 Evgeny Dantsin, Andrei Voronkov : Complexity of Query Answering in Logic Databases with Complex Values. LFCS 1997 : 56-66

2 Evgeny Dantsin: Probabilistic Logic Programs and their Semantics. RCLP 1991 : 152-164

1 Evgeny Dantsin: Algorihtms for Probabilistic Inference. Conference on Computer Logic 1988 : 67-75





DiSC'01 Copyright ©2002 ACM Inc.