Skip to contents Cate, Balder David ten [Other]; Zeevat, Henk W. [Other]; Cate, Balder D. ten [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4363 Benedikt, Michael [Author] ; Leblay, Julien [Other]; Cate, Balder David ten [Other]; Tsamoura, Efthymia [Other] Generating plans from proofs: the interpolation-based approach to query reformulation Books View online Schließen > Access ... to E-book via IEEE Xplore (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2016 Published in: Synthesis lectures on data management ; 43 ten Cate, Balder; Gabelaia, David; Sustretov, Dmitry Modal languages for topology: Expressivity and definability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Annals of Pure and Applied Logic, 159 (2009) 1-2, Seite 146-170
Cate, Balder David ten [Other]; Zeevat, Henk W. [Other]; Cate, Balder D. ten [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4363
Benedikt, Michael [Author] ; Leblay, Julien [Other]; Cate, Balder David ten [Other]; Tsamoura, Efthymia [Other] Generating plans from proofs: the interpolation-based approach to query reformulation Books View online Schließen > Access ... to E-book via IEEE Xplore (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2016 Published in: Synthesis lectures on data management ; 43
ten Cate, Balder; Gabelaia, David; Sustretov, Dmitry Modal languages for topology: Expressivity and definability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Annals of Pure and Applied Logic, 159 (2009) 1-2, Seite 146-170
> Media type Skip to next facet Books (2) Wert ausschließen Articles (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1) Wert ausschließen Without Specification (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (3) Wert ausschließen Computer science (2) Wert ausschließen Show more show less
> Creator Skip to next facet Cate, Balder David ten (2) Wert ausschließen Benedikt, Michael (1) Wert ausschließen Cate, Balder D. ten (1) Wert ausschließen Gabelaia, David (1) Wert ausschließen International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi (1) Wert ausschließen Leblay, Julien (1) Wert ausschließen Sustretov, Dmitry (1) Wert ausschließen Tsamoura, Efthymia (1) Wert ausschließen Zeevat, Henk W. (1) Wert ausschließen ten Cate, Balder (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (2) Wert ausschließen Elsevier BV (CrossRef) (1) Wert ausschließen Show more show less