Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Aliaume Lopez"'
Autor:
Dan R Ghica, Aliaume Lopez
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 266, Iss Proc. QPL 2017, Pp 71-83 (2018)
The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more. From the categorical perspective
Externí odkaz:
https://doaj.org/article/fd600e595bf3489ba56e40376c4b9d87
Autor:
Aliaume Lopez
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031308284
Noetherian spaces are a generalisation of well-quasi-orderings to topologies, that can be used to prove termination of programs. They find applications in the verification of transition systems, some of which are better described using topology. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebe11a99b3f700c4908fc50782fc1484
https://doi.org/10.1007/978-3-031-30829-1_22
https://doi.org/10.1007/978-3-031-30829-1_22
Autor:
Aliaume Lopez
Publikováno v:
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, pp.1-14. ⟨10.1145/3531130.3532498⟩
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, pp.1-14. ⟨10.1145/3531130.3532498⟩
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show that they match exactly the first-order sentences preserved under loc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6efe639f62177a6a2610900cccf92e4
http://arxiv.org/abs/2204.02108
http://arxiv.org/abs/2204.02108
Autor:
Aliaume Lopez, Dan R. Ghica
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 266, Iss Proc. QPL 2017, Pp 71-83 (2018)
QPL
QPL
The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more. From the categorical perspective
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa3b4793266b8520b1a30fa95a229695