masteraka's confirmation [33 articles] Export

Recent papers added to masteraka's library classified by the tag confirmation. You can also see everyone's confirmation.

Hide details

	Alternation as a programming paradigm [My Copy] In PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming (2009), pp. 61-72. by Wolfgang Dvořák, Georg Gottlob, Reinhard Pichler, Stefan Woltran posted to confirmation by masteraka on 2009-11-09 16:27:17 as
	The complexity of the membership problem for some extensions of context-free languagest [My Copy] International Journal of Computer Mathematics, Vol. 6, No. 3. (1977), pp. 191-215. by I. H. Sudborough posted to confirmation by masteraka on 2009-11-09 16:22:35 as
	Graph Searching and a Min-Max Theorem for Tree-Width [My Copy] Journal of Combinatorial Theory, Series B, Vol. 58, No. 1. (May 1993), pp. 22-33. by P. Seymour, R. Thomas posted to confirmation by masteraka on 2009-11-09 15:07:40 as
	Graph minors. II. Algorithmic aspects of tree-width [My Copy] Journal of Algorithms, Vol. 7, No. 3. (September 1986), pp. 309-322. by N. Robertson, P. Seymour posted to confirmation caesar_paper by masteraka on 2009-09-18 22:34:50 as
	A backtracking-based algorithm for hypertree decomposition [My Copy] J. Exp. Algorithmics, Vol. 13 (2009) by Georg Gottlob, Marko Samer posted to confirmation by masteraka on 2009-08-29 22:57:46 as
	Marshals, monotone marshals, and hypertree-width [My Copy] Journal of Graph Theory, Vol. 47, No. 4. (2004), pp. 275-296. by Isolde Adler posted to confirmation by masteraka on 2009-07-21 03:12:42 as
	Limited Nondeterminism [My Copy] (1996) by Judy Goldsmith, Matthew A. Levy, Martin Mundhenk posted to confirmation caesar_paper by masteraka on 2009-07-10 16:28:02 as
	Molecular Computing, Bounded Nondeterminism, and Efficient Recursion [My Copy] In In Proceedings of the 24th International Colloquium on Automata, Languages, and Programming, Vol. 25 (1998), pp. 816-826. by Richard Beigel, Bin Fu posted to confirmation caesar_paper by masteraka on 2009-07-10 16:26:49 as
	Hypertree width and related hypergraph invariants [My Copy] European Journal of Combinatorics, Vol. 28, No. 8. (November 2007), pp. 2167-2181. by Isolde Adler, Georg Gottlob, Martin Grohe posted to confirmation by masteraka on 2009-05-28 17:44:31 as
	Quasi-inverses of schema mappings [My Copy] ACM Trans. Database Syst., Vol. 33, No. 2. (2008), pp. 1-52. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang C. Tan posted to confirmation inverses by masteraka on 2009-05-28 17:29:37 as
	Bandwidth constrained NP-complete problems [My Copy] Theoretical Computer Science, Vol. 41 (1985), pp. 141-167. by B. Monien, I. H. Sudborough posted to confirmation caesar_paper by masteraka on 2009-05-19 13:53:26 as
	Alternation [My Copy] J. ACM, Vol. 28, No. 1. (January 1981), pp. 114-133. by Ashok K. Chandra, Dexter C. Kozen, Larry J. Stockmeyer posted to confirmation atm by masteraka on 2008-07-09 23:06:04 as along with 2 people lostinmidlands JakubSzymanik
	Tree-size bounded alternation [My Copy] Journal of Computer and System Sciences, Vol. 21, No. 2. (October 1980), pp. 218-235. by Walter L. Ruzzo posted to confirmation caesar_paper atm by masteraka on 2008-07-09 22:07:25 as
	A comparison of structural CSP decomposition methods [My Copy] Artificial Intelligence, Vol. 124, No. 2. (December 2000), pp. 243-282. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to confirmation hypertree_decomposition caesar_paper by masteraka on 2008-04-07 23:57:53 as
	Jewels of Institution-Independent Model Theory [My Copy] Algebra, Meaning and Computation (2006), pp. 65-98. by Răzvan Diaconescu posted to confirmation category_theory institutions model_theory transfer by masteraka on 2007-10-11 22:33:45 as along with 1 person sgwyj
	Institutions: integrating objects, XML and databases [My Copy] Information and Software Technology, Vol. 44, No. 4. (31 March 2002), pp. 207-216. by Suad Alagic posted to confirmation category_theory databases institutions transfer by masteraka on 2007-10-11 22:19:01 as along with 1 person artur
	The complexity of acyclic conjunctive queries [My Copy] J. ACM, Vol. 48, No. 3. (May 2001), pp. 431-498. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to confirmation transfer databases caesar_paper by masteraka on 2007-10-11 19:20:58 as
	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width [My Copy] J. Comput. Syst. Sci., Vol. 66, No. 4. (June 2003), pp. 775-808. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to hypertree_decomposition databases confirmation caesar_paper by masteraka on 2007-10-11 19:12:29 as along with 1 person stavros
	Hypertree Decompositions and Tractable Queries [My Copy] Journal of Computer and System Sciences, Vol. 64, No. 3. (May 2002), pp. 579-627. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted to transfer htd confirmation caesar_paper bcq by masteraka on 2007-10-11 19:09:23 as along with 2 people anonyox gregtarr
	Distributors at Work [My Copy] (2000) by Jean Bénabou posted to confirmation category_theory transfer by masteraka on 2007-10-11 18:28:17 as
	On the Expressive Power of Logics on Finite Models [My Copy] (2003) by Phokion G. Kolaitis posted to confirmation complexity model_theory transfer by masteraka on 2007-10-09 19:23:48 as
	Abstract and Concrete Categories, The Joy of Cats [My Copy] (1990) by Jiri Adámek, Horst Herrlich, George Strecker posted to confirmation category_theory transfer by masteraka on 2007-10-01 05:31:28 as
	Handbook of Categorical Algebra 1 (Basic Category Theory) [My Copy] Encyclopedia of Mathematics and its Applications, Vol. 50 (26 August 1994) by Francis Borceux posted to confirmation category_theory transfer by masteraka on 2007-10-01 02:55:16 as
	Elements of Finite Model Theory [My Copy] (17 August 2004) by Leonid Libkin posted to confirmation model_theory transfer by masteraka on 2007-09-30 23:08:06 as along with 2 people leonardo JakubSzymanik
	Categories for the Working Mathematician [My Copy] (25 September 1998) by Saunders Mac Lane posted to confirmation category_theory transfer by masteraka on 2007-09-30 23:03:39 as along with 13 people and 2 groups robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal mmarcus Rightscom Compilers
	Foundations of Databases [My Copy] (22 November 1994) by Serge Abiteboul, Richard Hull, Victor Vianu posted to transfer databases confirmation by masteraka on 2007-09-30 22:55:23 as along with 2 people stavros fsautomata
	Inverting schema mappings [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 50-59. by Ronald Fagin posted to confirmation data_exchange transfer by masteraka on 2007-09-30 22:43:07 as along with 1 person and 1 group lillejul L3S
	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments [My Copy] Category Theory and Computer Programming (1986), pp. 313-333. by Joseph Goguen, R. Burstall posted to confirmation institutions transfer by masteraka on 2007-09-30 22:31:53 as along with 1 person msakai
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to confirmation institutions transfer by masteraka on 2007-09-30 22:22:34 as along with 9 people and 2 groups mishra_satish fraktalek mahler msakai bonotake adrian_pigors scis0000001 marcinzalewski Scis0000002 ConcertRG Rightscom
	Data exchange: getting to the core [My Copy] ACM Trans. Database Syst., Vol. 30, No. 1. (March 2005), pp. 174-210. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa posted to confirmation data_exchange transfer by masteraka on 2007-09-30 22:18:05 as along with 4 people nhoussos ludaesch brunoDE anonyox
	Quasi-inverses of schema mappings [My Copy] In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007), pp. 123-132. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan posted to confirmation data_exchange transfer by masteraka on 2007-09-30 22:13:14 as along with 1 person ludaesch
	Composing schema mappings: Second-order dependencies to the rescue [My Copy] (2004) by R. Fagin, P. Kolaitis, L. Popa, W. Tan posted to confirmation data_exchange transfer by masteraka on 2007-09-30 22:09:10 as along with 2 people and 1 group mahler ludaesch Rightscom
	Data exchange: semantics and query answering [My Copy] Theoretical Computer Science In Database Theory, Vol. 336, No. 1. (25 May 2005), pp. 89-124. by Ronald Fagin, Phokion G. Kolaitis, Renee J. Miller, Lucian Popa posted to confirmation data_exchange transfer by masteraka on 2007-09-30 22:08:09 as

Note: You may cite this page as: http://www.citeulike.org/user/masteraka/tag/confirmation

confirmation	33
transfer	25
category_theory	22
databases	17
data_exchange	12
caesar_paper	11
hypertree_decomposition	11
institutions	10
game_theory	8
complexity	6
reading_list	6
atm	5
data_integration	4
model_theory	4
parallel_computation	4
universal_algebra	4
cores	3
decompositions	3
hypergraphs	3
computation	2
mpi	2
bcq	1
coalgebra	1
haskell	1
htd	1
inverses	1
logic	1
music	1
separators	1
tree_decomposition	1
xml	1

masteraka's confirmation [33 articles] Export

masteraka's tags