research
∙
07/15/2022
Fixed Points and Noetherian Topologies
This paper provides a canonical construction of a Noetherian least fixed...
research
∙
04/05/2022
When Locality Meets Preservation
This paper investigates the expressiveness of a fragment of first-order ...
research
∙
07/15/2020