作者 Lawrence S. Moss 的书籍 - BookPine

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors

Jirí Adámek

Papers in Honor of John Barwise

Papers in Honor of John Barwise

Lawrence S. Moss

Papers in Honor of Jon Barwise

Papers in Honor of Jon Barwise

Lawrence S. Moss

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

Lawrence S. Moss

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Valeria de Paiva

Logic, Language and Computation: Volume 2

Logic, Language and Computation: Volume 2

Maarten de Rijke

Vicious Circles (Volume 60)

Vicious Circles (Volume 60)

Jon Barwise

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Jon Barwise