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

Bernhard Möller (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


34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers Springer 1996
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow: Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers Springer 1994

Selection of 2 from 98 records - Bernhard Möller has 56 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