Boolean operations and inclusion test for attribute-element constraints
- Haruo Hosoya
- Makoto Murata
- 2006
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
Refinement calculus: A basis for translation validation, debugging and certification
- Rohit N. Kundaji
- R.K. Shyamasundar
- 2006
- Theoretical Computer Science
Chordless paths through three vertices
- Robert Haas
- Michael Hoffmann
- 2006
- Theoretical Computer Science
Linear tolls suffice: New bounds and algorithms for tolls in single source networks
- Lisa Fleischer
- 2005
- Theoretical Computer Science
The black-box complexity of nearest-neighbor search
- Robert Krauthgamer
- James R. Lee
- 2005
- Theoretical Computer Science
The enumerability of P collapses P to NC
- Alina Beygelzimer
- Mitsunori Ogihara
- 2005
- Theoretical Computer Science
Precedence-inclusion patterns and relational learning
- Frank J. Oles
- 2005
- Theoretical Computer Science
Data exchange: Semantics and query answering
- Ronald Fagin
- Phokion G. Kolaitis
- et al.
- 2005
- Theoretical Computer Science
A randomized encoding of the π-calculus with mixed choice
- Catuscia Palamidessi
- Oltea Mihaela Herescu
- 2005
- Theoretical Computer Science
An inexact-suffix-tree-based algorithm for detecting extensible patterns
- Abhijit Chattaraj
- Laxmi Parida
- 2005
- Theoretical Computer Science