作者的書籍：Ruy J.G.B. de Queiroz - BookPine

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Helle Hvid Hansen

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Juliette Kennedy

Uma Vers O Mais Curta de Teoria DOS Modelos

Uma Vers O Mais Curta de Teoria DOS Modelos

School of Mathematical Sciences Wilfrid Hodges

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Ruy J.G.B. de Queiroz

Model Theory

Model Theory

Maria Manzano