Karl Meinke (meinke-k)

Contributions to Philosophie.ch

Bibliography

Kovač, Laura and Meinke, Karl, eds. 2022. Tests and Proofs. Proceedings of the 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022. Lecture Notes in Computer Science n. 13361. Berlin: Springer, doi:10.1007/978-3-031-09827-7.
Meinke, Karl and Tucker, John V. 1992. “Universal Algebra.” in Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 189–412. Oxford: Oxford University Press.