1. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. (2015) Editors: Durand-Lose, Jérôme; Nagy, Benedek Other Names: MCU (Conference), 7th Record Type: Book Extent: 1 online resource (xx, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗