Home Advanced Search

Advanced Search - Page 1

Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz
Logic for concurrency and synchronisation
  • PDF
  • English
  • Year: 2003
  • Author: Queiroz, Ruy J. G. B. de (ed.)
Logic for Concurrency and Synchronisation
  • PDF
  • English
  • Year: 2003
  • Author: Ruy J. G. B. de Queiroz (ed.)
Logic, Language, Information, and Computation
  • PDF
  • English
  • Year: 2018
  • Author: Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Arnold Beckmann (auth.), Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
search