author:de Queiroz, Ruy | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Model Theory (Oxford Logic Guides)

Manzano, Maria／De Queiroz, Ruy J. G. B.

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

Daniel Leivant, Ruy de Queiroz (eds.)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings

Wilfrid Hodges, Ruy de Queiroz (eds.)

Logic, language, information, and computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025 : proceedings

Dexter Kozen, Ruy de Queiroz, editors

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

Lev D. Beklemishev, Ruy de Queiroz (eds.)

Logic for concurrency and synchronisation

edited by Ruy J.G.B. de Queiroz

Logic, language, information, and computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings

Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (eds.)

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

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)

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

Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)

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

Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)

1
2
3