Developments in Language Theory
2025년
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
2025년
Developments in Language Theory
2024년
Twenty Years of Theoretical and Practical Synergies
2024년
Unity of Logic and Computation
2023년
Revolutions and Revelations in Computability
2022년