dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Elsa L. Gunter (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElsa L. Gunter, Amy P. Felty: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings Springer 1997
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755

Selection of 3 from 47 records - Elsa L. Gunter has 44 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page