Zobrazeno 1 - 9
of 9
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
Autor:
DI LAVORE, ELENA, SOBOCIŃSKI, PAWE L.
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-46, 46p
Autor:
ABADI, MARTÍN, PLOTKIN, GORDON
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-63, 63p
Autor:
SIMPSON, ALEX1 Alex.Simpson@fmf.uni-lj.si, VOORNEVELD, NIELS1 Niels.Voorneveld@fmf.uni-lj.si
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jan2020, Vol. 42 Issue 1, p1-45. 45p.
Autor:
Orna Kupferman, Pawel Sobocinski
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European J
Autor:
Amal Ahmed
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETA