|< 3 4 5 6 7 >|
CSV
publication icon
Komendantskaya E (2016) Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness in Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
publication icon
Komendantskaya E (2016) Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness in Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers