Yoàv Montacute

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 14

Top Topics

Nearest Neighbor Queries

Logic Programming

Finite Model Theory

Top Venues

Log. Methods Comput. Sci.

Publications

Yoàv Montacute, Glynn Winskel
Concurrent Games over Relational Structures: The Origin of Game Comonads. LICS (2024)
Yoàv Montacute, Glynn Winskel
Concurrent Games over Relational Structures: The Origin of Game Comonads. CoRR (2024)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. Log. Methods Comput. Sci. 20 (2) (2024)
David Fernández-Duque, Yoàv Montacute
Dynamic Tangled Derivative Logic of Metric Spaces. AAAI (2024)
Samson Abramsky, Yoàv Montacute, Nihil Shah
Linear Arboreal Categories. CoRR (2023)
David Fernández-Duque, Yoàv Montacute
Dynamic Tangled Derivative Logic of Metric Spaces. CoRR (2023)
Yoàv Montacute
Cantor Derivative Logic in Topological Dynamics. CoRR (2023)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. Log. Methods Comput. Sci. 19 (4) (2023)
David Fernández-Duque, Yoàv Montacute
Untangled: A Complete Dynamic Topological Logic. AAAI (2023)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. CSL (2022)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. LICS (2022)
David Fernández-Duque, Yoàv Montacute
Untangled: A Complete Dynamic Topological Logic. CoRR (2022)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. CoRR (2021)
Yoàv Montacute, Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory. CoRR (2021)