Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples delimiting the main result. © 1994 by Academic Press, Inc.
Hans Becker, Frank Schmidt, et al.
Photomask and Next-Generation Lithography Mask Technology 2004
Peter Wendt
Electronic Imaging: Advanced Devices and Systems 1990
Igor Devetak, Andreas Winter
ISIT 2003
D.S. Turaga, K. Ratakonda, et al.
SCC 2006