Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sergueï Lenglet" ( http://dblp.L3S.de/Authors/Sergueï_Lenglet )

  Author page on DBLP  Author page in RDF  Community of Sergueï Lenglet in ASPL-2

Publication years (Num. hits)
2006 (1) 2009 (2) 2011 (2) 2012 (6)
Publication types (Num. hits)
article(4) inproceedings(7)
Venues (Conferences, Journals, ...)
CoRR(3) FOSSACS(2) CONCUR(1) ESOP(1) FLOPS(1) Inf. Comput.(1) MFCS(1) PPDP(1)
Authors
Sergueï Lenglet(11) Dariusz Biernacki(5) Alan Schmitt(3) Jean-Bernard Stefani(3) Joe B. Wells(2) François Garillot(1) Malgorzata Biernacka(1) Martin Odersky(1) Vincent Cremet(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dariusz Biernacki, Sergueï Lenglet Applicative Bisimulations for Delimited-Control Operators Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sergueï Lenglet, Joe B. Wells Expansion for Universal Quantifiers Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Dariusz Biernacki, Sergueï Lenglet Normal Form Bisimulations for Delimited-Control Operators Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Dariusz Biernacki, Sergueï Lenglet Normal Form Bisimulations for Delimited-Control Operators. Search on Bibsonomy FLOPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dariusz Biernacki, Sergueï Lenglet Applicative Bisimulations for Delimited-Control Operators. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergueï Lenglet, Joe B. Wells Expansion for Universal Quantifiers. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani Characterizing contextual equivalence in calculi with passivation. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet Typing control operators in the CPS hierarchy. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani Howe's Method for Calculi with Passivation. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani Normal Bisimulations in Calculi with Passivation. Search on Bibsonomy FOSSACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky A Core Calculus for Scala Type Checking. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.