History
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 from 170 total

The navigational power of web browsers. (English)
Theory Comput. Syst. 50, No. 2, 213-240 (2012).
WorldCat.org
1
On the CRON conjecture. (English)
Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 44-55 (2012).
WorldCat.org
2
Expressive power of safe first-order logical decision trees. (English)
Muggleton, Stephen H. (ed.) et al., Inductive logic programming. 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 ‒ August 3, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31950-1/pbk). Lecture Notes in Computer Science 7207. Lecture Notes in Artificial Intelligence, 160-172 (2012).
WorldCat.org
3
A type system for DNAQL. (English)
Stefanovic, Darko (ed.) et al., DNA computing and molecular programming. 18th international conference, DNA 18, Aarhus, Denmark, August 14‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32207-5/pbk). Lecture Notes in Computer Science 7433, 12-24 (2012).
WorldCat.org
4
The impact of transitive closure on the Boolean expressiveness of navigational query languages on graphs. (English)
Lukasiewicz, Thomas (ed.) et al., Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28471-7/pbk). Lecture Notes in Computer Science 7153, 124-143 (2012).
WorldCat.org
5
A comparison of graph-theoretic DNA hybridization models. (English)
Theor. Comput. Sci. 429, 46-53 (2012).
WorldCat.org
6
Logical aspects of spatial databases. (English)
Esparza, Javier (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9‒13, 2006. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). London Mathematical Society Lecture Note Series 379, 77-108 (2011).
WorldCat.org
7
Graph-theoretic formalization of hybridization in DNA sticker complexes. (English)
Cardelli, Luca (ed.) et al., DNA computing and molecular programming. 17th international conference, DNA 17, Pasadena, CA, USA, September 19‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23637-2/pbk). Lecture Notes in Computer Science 6937, 49-63 (2011).
WorldCat.org
8
Relational completeness of query languages for annotated databases. (English)
J. Comput. Syst. Sci. 77, No. 3, 491-504 (2011).
WorldCat.org
9
Graph-theoretic formalization of hybridization in DNA sticker complexes (English)
DNA, 49-63 (2011).
WorldCat.org
11
Relative expressive power of navigational querying on graphs (English)
ICDT, 197-207 (2011).
WorldCat.org
12
Relational transducers for declarative networking (English)
PODS, 283-292 (2011).
WorldCat.org
13
Database theory, Yuri, and me. (English)
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 49-60 (2010).
WorldCat.org
14
Induction of relational algebra expressions. (English)
De Raedt, Luc (ed.), Inductive logic programming. 19th international conference, ILP 2009, Leuven, Belgium, July 02‒04, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-13839-3/pbk). Lecture Notes in Computer Science 5989. Lecture Notes in Artificial Intelligence, 25-33 (2010).
WorldCat.org
15
Towards a theory of search queries (English)
ACM Trans. Database Syst. 35, No. 4, 28 (2010).
WorldCat.org
16
Database theory, yuri, and me (English)
Fields of Logic and Computation, 49-60 (2010).
WorldCat.org
17
Introduction to PODS 2006 special section. (English)
J. ACM 56, No. 3 (2009).
WorldCat.org
18
Repetitions and permutations of columns in the semijoin algebra. (English)
Rev. Inform. Teor. Apl. 43, No. 2, 179-187 (2009).
WorldCat.org
19
Database query processing using finite cursor machines. (English)
Theory Comput. Syst. 44, No. 4, 533-560 (2009).
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 from 170 total

Valid XHTML 1.0 Transitional Valid CSS!