BibSonomy publications for /author/Kaminski http://www.bibsonomy.org/author/Kaminski BibSonomy RSS Feed for /author/Kaminski Type-Based Termination with Sized Products. dblp http://www.bibsonomy.org/bibtex/248f1131daede0fdec874128f292e973c/dblp dblp 2008-10-20T00:00:00+02:00 dblp
Type-Based Termination with Sized Products.
Gilles Barthe and Benjamin Grégoire and Colin Riba CSL 493-507 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> Recursion Schemata for NCk. dblp http://www.bibsonomy.org/bibtex/2bf86009dd558fd354872b40df7d78fd5/dblp dblp 2008-10-20T00:00:00+02:00 dblp
Recursion Schemata for NCk.
Guillaume Bonfante and Reinhard Kahle and Jean-Yves Marion and Isabel Oitavem CSL 49-63 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> An Infinite Automaton Characterization of Double Exponential Time. dblp http://www.bibsonomy.org/bibtex/29e73f98e04e6e7d7ab0899d9b0b2987b/dblp dblp 2008-10-20T00:00:00+02:00 dblp
An Infinite Automaton Characterization of Double Exponential Time.
Salvatore La Torre and P. Madhusudan and Gennaro Parlato CSL 33-48 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. dblp http://www.bibsonomy.org/bibtex/206f1151ff5689c59e7aac8b19cc044b3/dblp dblp 2008-10-20T00:00:00+02:00 dblp
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.
Olivier Hermant and James Lipton CSL 169-183 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. dblp http://www.bibsonomy.org/bibtex/284e5a3c425b7e35363493003e7450c45/dblp dblp 2008-10-20T00:00:00+02:00 dblp
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Ian Hodkinson and Angelo Montanari and Guido Sciavicco CSL 308-322 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. dblp http://www.bibsonomy.org/bibtex/2c9ae21b5b0189ffd019d6e929c31255f/dblp dblp 2008-10-20T00:00:00+02:00 dblp
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.
Paolo Tranquilli CSL 246-261 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> On the Almighty Wand. dblp http://www.bibsonomy.org/bibtex/22b54e9a5630fe937ecd4e5f39ab861a0/dblp dblp 2008-10-20T00:00:00+02:00 dblp
On the Almighty Wand.
Rémi Brochenin and Stéphane Demri and Étienne Lozes CSL 323-338 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> The Descriptive Complexity of Parity Games. dblp http://www.bibsonomy.org/bibtex/2db1fb2b19acb98df675eb220b550870a/dblp dblp 2008-10-20T00:00:00+02:00 dblp
The Descriptive Complexity of Parity Games.
Anuj Dawar and Erich Grädel CSL 354-368 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. dblp http://www.bibsonomy.org/bibtex/21a47aa856e00662e44552b74eeb7361e/dblp dblp 2008-10-20T00:00:00+02:00 dblp
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.
Shin ya Katsumata CSL 278-292 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]> Characterization of Logics over Ranked Tree Languages. dblp http://www.bibsonomy.org/bibtex/2384cb752249fe48ac46a12b7982f2b26/dblp dblp 2008-10-20T00:00:00+02:00 dblp
Characterization of Logics over Ranked Tree Languages.
Thomas Place CSL 401-415 (2008)
to dblp by dblp on 2008-10-20 00:00:00
]]>