Search results for "DICE"

Publications at "DICE"( http://dblp.L3S.de/Venues/DICE )

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Evgeny Makarov	Provably Total Functions of Arithmetic with Basic Terms	DICE	2011	DBLP DOI BibTeX RDF
1	Lucien Capedevielle	A type system for PSPACE derived from light linear logic	DICE	2011	DBLP DOI BibTeX RDF
1	Clément Aubert	Sublogarithmic uniform Boolean proof nets	DICE	2011	DBLP DOI BibTeX RDF
1	Daniel Leivant, Ramyaa Ramyaa	Implicit complexity for coinductive data: a characterization of corecurrence	DICE	2011	DBLP DOI BibTeX RDF
1	Jean-Yves Marion (eds.)	Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011.	DICE	2011	DBLP DOI BibTeX RDF
1	Aloïs Brunel, Kazushige Terui	Church => Scott = Ptime: an application of resource sensitive realizability	DICE	2010	DBLP DOI BibTeX RDF
1	Guillaume Bonfante	Observation of implicit complexity by non confluence	DICE	2010	DBLP DOI BibTeX RDF
1	Amir M. Ben-Amram	On Decidable Growth-Rate Properties of Imperative Programs	DICE	2010	DBLP DOI BibTeX RDF
1	Luca Roversi, Luca Vercelli	Safe Recursion on Notation into a Light Logic by Levels	DICE	2010	DBLP DOI BibTeX RDF
1	Ugo Dal Lago, Simone Martini 0001, Margherita Zorzi	General Ramified Recurrence is Sound for Polynomial Time	DICE	2010	DBLP DOI BibTeX RDF
1	Patrick Baillot (eds.)	Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010.	DICE	2010	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )

Maintained by L3S.

Previously maintained by Jörg Diederich.

Based upon DBLP by Michael Ley.

data released under the ODC-BY 1.0 license