Meinke, Karl.
Meinke, K. (Karl)
Meinke, Karl, 1961-....
Meinke, K.
VIAF ID: 17294845 ( Personal )
Permalink: http://viaf.org/viaf/17294845
Preferred Forms
- 200 _ | ‡a Meinke ‡b K.
- 100 1 0 ‡a Meinke, K. ‡q (Karl)
-
- 100 1 _ ‡a Meinke, K. ‡q (Karl)
-
-
- 100 1 _ ‡a Meinke, Karl
-
-
- 100 1 _ ‡a Meinke, Karl, ‡d 1961-....
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Algebraic and Logic Programming : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings | |
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers | |
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers | |
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers | |
Many-sorted logic and its applications | |
Tests and proofs : 16th international conference, TAP 2022, held as part of STAF 2021, Nantes, France, July 5, 2022, proceedings |