Kalpa Publications •Recent Volumes •All Volumes

Recent Kalpa Publications Volumes

Recent Volumes

Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)

Stephan Schulz, Konstantin Korovin and Michael Rawson (editors).

Kalpa Publications in Computing, Volume 23