The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
ACM Transactions on Computer Logic
Variable independence for first-order definable constraints
Leonid Libkin
Journal Title: ACM Transactions on Computer Logic
Date: 2003
Volume: 4
Issue: 4
p. 431 - 451
For further information about this item go to:
http://doi.acm.org/10.1145/937557
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12