Karl Meinke (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

15 Gilles 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

Selection of 1 from 24 records - Karl Meinke has 16 coauthors