Karl Meinke

No bio available. Add one in Open Library.

Books by Karl Meinke (50 max)

+ shelf+ list

Higher-order algebra, logic, and term rewriting: first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers

1994

Jan Heering, Karl Meinke, Bernhard Moller

+ shelf+ list

Machine Learning for Dynamic Software Analysis : Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... Papers

2018

Amel Bennaceur, Reiner Hähnle, Karl Meinke

+ shelf+ list

Tests and Proofs 16th International Conference, TAP 2022, Held As Part of STAF 2021, Nantes, France, July 5, 2022, Proceedings

2022

Laura Kovács, Karl Meinke