yr 〜
yr

Search results 8

Logic, language, information, and computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings

Logic, language, information, and computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024 : proceedings
Paper図書
George Metcalfe, Thomas Studer, Ruy de Queiroz, editorsSpringerc2024
Other Libraries in Japan
  • Author Heading...Studer, Thomas Queiroz, Ruy de

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
Paper図書
Alexandra Silvia, Renata Wassermann, Ruy de Queiroz (eds.)Springerc2021
Other Libraries in Japan
  • Author Heading...ermann, Renata Queiroz, Ruy de

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings
Paper図書
Lawrence S. Moss, Ruy de Queiroz, Mariacarmen Martinez (eds.)Springerc2018
Other Libraries in Japan
  • Author Heading...awrence Stuart Queiroz, Ruy de Martinez, Maricarmen

Logic, language, information, and computation : 23rd International Workshop, WOLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings

Logic, language, information, and computation : 23rd International Workshop, WOLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings
Paper図書
Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)Springerc2016
Other Libraries in Japan
  • Author Heading... Hirvonen, Åsa Queiroz, Ruy de

Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings

Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings
Paper図書
Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)Springerc2014
Other Libraries in Japan
  • Author Heading...Barceló, Pablo Queiroz, Ruy de

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings
Paper図書
Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)Springerc2013
Other Libraries in Japan
  • Author Heading...enbach, Ulrich Queiroz, Ruy de

Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings

Logic, language, information and computation : 18th international workshop, WOLLIC 2011 Philadelphia, PA, USA : proceedings
Paper図書
Lev D. Beklemishev, Ruy de Queiroz (eds.)Springerc2011
Other Libraries in Japan
  • Author Heading...ev Dmitrievich Queiroz, Ruy de

Logic, language, information and computation : 14th International Workshop, WoLLIC 2007 Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings

Logic, language, information and computation : 14th International Workshop, WoLLIC 2007 Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
Paper図書
Daniel Leivant, Ruy de Queiroz (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingWoLLIC Leivant, Daniel Maurice Raphaël Queiroz, Ruy de

Reached to the end of result.