Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Volume 15942)

Dexter Kozen, Ruy de Queiroz, 303199535X, 9783031995354, 9783031995361, 978-3031995354, 978-3031995361