Kalpa Publications •Recent Volumes •All Volumes

Recent Kalpa Publications Volumes

Recent Volumes

Proceedings of the 14th and 15th International Workshops on the Implementation of Logics

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

Kalpa Publications in Computing, Volume 21

Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference

Lindsay Quarrie (editor).

Kalpa Publications in Computing, Volume 20

Proceedings of 6th International Conference on Smart Systems and Inventive Technology

Rajakumar G (editor).

Kalpa Publications in Computing, Volume 19

LPAR 2024 Complementary Volume

Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).

Kalpa Publications in Computing, Volume 18