المؤلفون: Abramsky S., Reggio L.

المساهمون: S. Abramsky, L. Reggio

مصطلحات موضوعية: Homomorphism preservation theorem, Logical resource, Game comonad, First-order logic, Modal logic, Guarded logics, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001207001300001; volume:175; issue:6; firstpage:1; lastpage:41; numberofpages:41; journal:ANNALS OF PURE AND APPLIED LOGIC; https://hdl.handle.net/2434/1100008

الاتاحة: https://hdl.handle.net/2434/1100008
https://doi.org/10.1016/j.apal.2024.103423

المؤلفون: Gehrke, M, Jakl, T, Reggio, L

المساهمون: Palmigiano, Alessandra, Sadrzadeh, Mehrnoosh

المصدر: In: Palmigiano, Alessandra and Sadrzadeh, Mehrnoosh, (eds.) Samson Abramsky on Logic and Structure in Computer Science and Beyond. (pp. 129-158). Springer Nature (2023)

مصطلحات موضوعية: Duality theory, Topological methods in logic, Vietoris space, Quantifiers and measures, Structural limits, Lindenbaum-Tarski algebras, Free constructions

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10184426/1/Reggio_A%20Cooks%20Tour%20of%20Duality%20in%20Logic-%20From%20Quantifiers,%20Through%20Vietoris,%20to%20Measures_chapter_AAM.pdf; https://discovery.ucl.ac.uk/id/eprint/10184426/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10184426/1/Reggio_A%20Cooks%20Tour%20of%20Duality%20in%20Logic-%20From%20Quantifiers,%20Through%20Vietoris,%20to%20Measures_chapter_AAM.pdf
https://discovery.ucl.ac.uk/id/eprint/10184426/

المؤلفون: Abramsky S., Reggio L.

المساهمون: S. Abramsky, L. Reggio

مصطلحات موضوعية: factorisation system, embedding, comonad, coalgebra, open map, bisimulation, game, resource, relational structure, finite model theory, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001049739100002; volume:19; issue:3; firstpage:1; lastpage:36; numberofpages:36; journal:LOGICAL METHODS IN COMPUTER SCIENCE; https://hdl.handle.net/2434/1100030

الاتاحة: https://hdl.handle.net/2434/1100030
https://doi.org/10.46298/lmcs-19(3:14)2023

المؤلفون: Abbadini M., Reggio L.

المساهمون: M. Abbadini, L. Reggio

مصطلحات موضوعية: Soft sheave, Sheaf representation, Regular categorie, Barr-exact categorie, IC-sheave, Sheaves over complete lattices, Settore MATH-02/A - Algebra

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001001569600001; volume:227; issue:12; firstpage:1; lastpage:41; numberofpages:41; journal:JOURNAL OF PURE AND APPLIED ALGEBRA; https://hdl.handle.net/2434/1100029

الاتاحة: https://hdl.handle.net/2434/1100029
https://doi.org/10.1016/j.jpaa.2023.107413

المؤلفون: METCALFE G, REGGIO L

المساهمون: G. Metcalfe, L. Reggio

مصطلحات موضوعية: model completion, universal classes of algebra, definable principal congruence, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000889918000001; volume:88; issue:1; firstpage:381; lastpage:417; numberofpages:37; journal:THE JOURNAL OF SYMBOLIC LOGIC; https://hdl.handle.net/2434/1099912

الاتاحة: https://hdl.handle.net/2434/1099912
https://doi.org/10.1017/jsl.2022.1
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/model-completions-for-universal-classes-of-algebras-necessary-and-sufficient-conditions/45990EEE2E687AA38804F5646874B925

المؤلفون: Abbadini, M, Reggio, L

المصدر: Journal of Pure and Applied Algebra , 227 (12) , Article 107413. (2023)

وصف الملف: application/pdf

Relation: https://discovery.ucl.ac.uk/id/eprint/10171231/1/AbbadiniReggio_2022_final.pdf; https://discovery.ucl.ac.uk/id/eprint/10171231/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10171231/1/AbbadiniReggio_2022_final.pdf
https://discovery.ucl.ac.uk/id/eprint/10171231/

المؤلفون: Gehrke, M, Jakl, T, Reggio, L

مصطلحات موضوعية: Stone duality, finitely additive measures, structural limits, finite model theory, formal languages, logic on words

وصف الملف: application/pdf

Relation: https://www.repository.cam.ac.uk/handle/1810/334020

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/334020
https://doi.org/10.17863/CAM.81432

المؤلفون: Reggio, L

المصدر: Advances in Mathematics , 410 , Article 108712. (2022)

مصطلحات موضوعية: Homomorphism counting, Polyadic set, Stirling kernel, Locally finite category, Locally finitely presentable category, Profinite algebras

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10158138/1/1-s2.0-S0001870822005291-main.pdf; https://discovery.ucl.ac.uk/id/eprint/10158138/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10158138/1/1-s2.0-S0001870822005291-main.pdf
https://discovery.ucl.ac.uk/id/eprint/10158138/

المؤلفون: Gehrke, M, Jakl, T, Reggio, L

المصدر: Logical Methods in Computer Science , 18 (1) 16:1-16:38. (2022)

مصطلحات موضوعية: Stone duality, finitely additive measures, structural limits, finite model theory, formal languages, logic on words.

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10152555/1/Reggio_2012.09975.pdf; https://discovery.ucl.ac.uk/id/eprint/10152555/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10152555/1/Reggio_2012.09975.pdf
https://discovery.ucl.ac.uk/id/eprint/10152555/

المؤلفون: DAWAR A, JAKL T, REGGIO L

المساهمون: A. Dawar, T. Jakl, L. Reggio

مصطلحات موضوعية: Game comonad, Homomorphism counting, k-Weisfeiler-Leman equivalence, Settore MAT/01 - Logica Matematica, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781665448963; info:eu-repo/semantics/altIdentifier/wos/WOS:000947350400042; ispartofbook:2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS); Annual Symposium on Logic in Computer Science; firstpage:1; lastpage:13; numberofpages:13; https://hdl.handle.net/2434/1099969

الاتاحة: https://hdl.handle.net/2434/1099969
https://doi.org/10.1109/LICS52264.2021.9470609

المؤلفون: ABRAMSKY S, REGGIO L

المساهمون: N. Bansal, E. Merelli, J. Worrell, S. Abramsky, L. Reggio

مصطلحات موضوعية: finite model theory, resource, comonad, Settore MAT/01 - Logica Matematica, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-195-5; ispartofbook:48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); International Colloquium on Automata, Languages, and Programming; volume:198; firstpage:1; lastpage:20; numberofpages:20; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; alleditors:N. Bansal, E. Merelli, J. Worrell; https://hdl.handle.net/2434/1099968; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.115

الاتاحة: https://hdl.handle.net/2434/1099968
https://doi.org/10.4230/LIPIcs.ICALP.2021.115
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.115

المؤلفون: GEHRKE M, JAKL T, REGGIO L

المساهمون: J. Goubault-Larrecq, B. Konig, M. Gehrke, T. Jakl, L. Reggio

مصطلحات موضوعية: Stone duality, Finite model theory, Structural limits, Settore MAT/01 - Logica Matematica, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-45230-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000719283800016; ispartofbook:Foundations of Software Science and Computation Structures; 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020; firstpage:299; lastpage:318; numberofpages:20; alleditors:J. Goubault-Larrecq, B. Konig; https://hdl.handle.net/2434/1099949

الاتاحة: https://hdl.handle.net/2434/1099949
https://doi.org/10.1007/978-3-030-45231-5_16

المؤلفون: Gehrke, M, Petrişan, D, Reggio, L

Relation: https://ora.ox.ac.uk/objects/uuid:cf51ae11-2d4c-493c-ab9c-d1fecf65e2bd; https://doi.org/10.1109/LICS.2017.8005140

الاتاحة: https://doi.org/10.1109/LICS.2017.8005140
https://ora.ox.ac.uk/objects/uuid:cf51ae11-2d4c-493c-ab9c-d1fecf65e2bd

المؤلفون: Gehrke, M, Petrisan, D, Reggio, L

Relation: https://ora.ox.ac.uk/objects/uuid:2d745f9c-1d72-4dc9-8867-08e46248cbda; https://doi.org/10.4230/LIPIcs.ICALP.2016.112

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2016.112
https://ora.ox.ac.uk/objects/uuid:2d745f9c-1d72-4dc9-8867-08e46248cbda

المؤلفون: Reggio, L

Relation: https://ora.ox.ac.uk/objects/uuid:96024bf9-d838-4209-8aee-461c7cfb44c9; https://doi.org/10.1016/j.apal.2021.102990

الاتاحة: https://doi.org/10.1016/j.apal.2021.102990
https://ora.ox.ac.uk/objects/uuid:96024bf9-d838-4209-8aee-461c7cfb44c9

المؤلفون: Gehrke, M, Petrişan, D, Reggio, L

Relation: https://ora.ox.ac.uk/objects/uuid:9adbf802-9fe6-4634-b679-71a4b1b82a45; https://doi.org/10.1017/S0960129521000074

الاتاحة: https://doi.org/10.1017/S0960129521000074
https://ora.ox.ac.uk/objects/uuid:9adbf802-9fe6-4634-b679-71a4b1b82a45

المؤلفون: Marra, V, Reggio, L

Relation: https://ora.ox.ac.uk/objects/uuid:243f9518-7eb3-4b6b-a869-134300f31b6f

الاتاحة: https://ora.ox.ac.uk/objects/uuid:243f9518-7eb3-4b6b-a869-134300f31b6f

المؤلفون: GEHRKE M, JAKL T, REGGIO L

المساهمون: A. Palmigiano, M. Sadrzadeh, M. Gehrke, T. Jakl, L. Reggio

مصطلحات موضوعية: Logical quantifier, Topological and categorical methods in logic, duality theory in logic, Settore MAT/01 - Logica Matematica, Settore MATH-01/A - Logica matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-24116-1; ispartofbook:Samson Abramsky on Logic and Structure in Computer Science and Beyond; volume:25; firstpage:129; lastpage:158; numberofpages:30; serie:OUTSTANDING CONTRIBUTIONS TO LOGIC; alleditors:A. Palmigiano, M. Sadrzadeh; https://hdl.handle.net/2434/1099972

الاتاحة: https://hdl.handle.net/2434/1099972
https://doi.org/10.1007/978-3-031-24117-8_4

المؤلفون: Marra V., Reggio L.

المساهمون: V. Marra, L. Reggio

مصطلحات موضوعية: Coherent category, compact Hausdorff space, Exact completion, Filtrality, Pretopo, Stone spaces, Settore MAT/01 - Logica Matematica, Settore MAT/02 - Algebra, Settore MAT/03 - Geometria

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000594117700051; volume:35; issue:51; firstpage:1871; lastpage:1906; numberofpages:36; journal:THEORY AND APPLICATIONS OF CATEGORIES; http://hdl.handle.net/2434/808736; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85098868835; http://www.tac.mta.ca/tac/volumes/35/51/35-51.pdf

الاتاحة: http://hdl.handle.net/2434/808736
http://www.tac.mta.ca/tac/volumes/35/51/35-51.pdf

المؤلفون: Abbadini M., Reggio L.

المساهمون: M. Abbadini, L. Reggio

مصطلحات موضوعية: Axiomatisability, Compact ordered space, Duality, Infinitary varieties, Settore MAT/01 - Logica Matematica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000561696300001; volume:28; issue:6; firstpage:921; lastpage:934; numberofpages:14; journal:APPLIED CATEGORICAL STRUCTURES; http://hdl.handle.net/2434/857970; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85089682049

الاتاحة: http://hdl.handle.net/2434/857970
https://doi.org/10.1007/s10485-020-09604-y