Karl Meinke
Identifiers
- Open LibraryOL2682629A
Books by Karl Meinke
Total count: 2
-
Higher-Order Algebra, Logic, and Term RewritingFirst International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)Springer1994-07-01
-
Tests and Proofs16th International Conference, TAP 2022, Held As Part of STAF 2021, Nantes, France, July 5, 2022, ProceedingsSpringer International Publishing AG2022-01-01