Make Puzzles Great Again

Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia. Make Puzzles Great Again. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 442-459, Springer, 2019. [doi]

Authors

Nicolás Aristizabal

This author has not been identified. Look up 'Nicolás Aristizabal' in Google

Carlos Pinzón

This author has not been identified. Look up 'Carlos Pinzón' in Google

Camilo Rueda

This author has not been identified. Look up 'Camilo Rueda' in Google

Frank Valencia

This author has not been identified. Look up 'Frank Valencia' in Google