EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Sassone, V.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2012

Bläser, M. and Manthey, B. (2012) Smoothed complexity theory. In: 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, 27-31 Aug 2012, Bratislava, Slovakia. pp. 198-209. Lecture Notes in Computer Science 7464. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-32588-5

2006

Corin, R.J. and den Hartog, J.I. (2006) A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs. In: ICALP 2006 track C, 9-13 Jul 2006, Venice, Italy. pp. 252-263. Lecture Notes in Computer Science 4052. Springer-Verlag. ISBN 3-540-35907-9

2004

Asveld, P.R.J. and Nijholt, A. (2004) Report on AMiLP-3 - 3rd AMAST Workshop on Algebraic Methods in Language Processing. Bulletin of the European Association for Theoretical Computer Science, 82. pp. 340-341. ISSN 0252-9742

This list was generated on Mon May 22 04:52:45 CEST 2017.