Benjamin Leperchey Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Leperchey: Time and games. GALOP 2005: 179-194
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Benjamin Leperchey: Relational Reasoning in a Nominal Semantics for Storage. TLCA 2005: 86-101
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucciarelli, Benjamin Leperchey: Hypergraphs and Degrees of Parallelism: A Completeness Result. FoSSaCS 2004: 58-71
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89

Coauthor Index

1Nick Benton (P. N. Benton) [3]
2Antonio Bucciarelli [1] [2]
3Vincent Padovani [1]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)