Neil Leslie 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 keys2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Leslie, Edwin D. Mares: CHR: A Constructive Relevant Natural-deduction Logic. Electr. Notes Theor. Comput. Sci. 91: 158-170 (2004)
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Barry, Mark Hepple, Neil Leslie, Glyn Morrill: Proof Figures And Structural Operators For Categorial Grammar. EACL 1991: 198-203

Coauthor Index

1Guy Barry [1]
2Mark Hepple [1]
3Edwin D. Mares [2]
4Glyn Morrill [1]

Colors in the list of coauthors

Copyright © Wed Dec 9 16:00:12 2009 by Michael Ley (ley@uni-trier.de)