المؤلفون: Clement, Emily, Erlich, Enzo, Ledent, Jérémy

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2410.12493

المؤلفون: Goubault, Eric, Kniazev, Roman, Ledent, Jeremy, Rajsbaum, Sergio

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Distributed, Parallel, and Cluster Computing, Mathematics - Algebraic Topology

URL الوصول: http://arxiv.org/abs/2311.01351

المؤلفون: Goubault, Eric, Kniazev, Roman, Ledent, Jérémy

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Multiagent Systems, Mathematics - Logic, F.4.1

URL الوصول: http://arxiv.org/abs/2308.00477

المؤلفون: Goubault, Eric, Kniazev, Roman, Ledent, Jérémy, Rajsbaum, Sergio

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.0

URL الوصول: http://arxiv.org/abs/2303.14976

المؤلفون: Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Multiagent Systems, Mathematics - Logic, 68R99, 68Q85, 68T27, 57Z25, F.4.1, I.2.4

URL الوصول: http://arxiv.org/abs/2108.10293

المؤلفون: Capucci, Matteo, Ghani, Neil, Ledent, Jérémy, Forsberg, Fredrik Nordvall

المصدر: EPTCS 372, 2022, pp. 221-234

مصطلحات موضوعية: Computer Science - Computer Science and Game Theory, Computer Science - Multiagent Systems, Mathematics - Category Theory

URL الوصول: http://arxiv.org/abs/2105.06763

المؤلفون: Goubault, Éric, Kniazev, Roman, Ledent, Jérémy

المساهمون: Éric Goubault and Roman Kniazev and Jérémy Ledent

مصطلحات موضوعية: Modal logics, epistemic logics, multi-agent systems, hypergraphs

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

Relation: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.30

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.30
https://nbn-resolving.org/urn:nbn:de:0030-drops-196730
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.30

المؤلفون: Atkey, Robert, Gavranović, Bruno, Ghani, Neil, Kupke, Clemens, Ledent, Jérémy, Forsberg, Fredrik Nordvall

المصدر: EPTCS 333, 2021, pp. 198-214

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, F.3.m

URL الوصول: http://arxiv.org/abs/2101.12045

المؤلفون: van Ditmarsch, Hans, Goubault, Eric, Ledent, Jeremy, Rajsbaum, Sergio

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2002.08863

المؤلفون: Goubault, Eric, Lazic, Marijana, Ledent, Jeremy, Rajsbaum, Sergio

المصدر: Long version of DaLI 2019 conference paper

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/1909.03263

المؤلفون: Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio

المصدر: EPTCS 277, 2018, pp. 73-87

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/1809.03095

المؤلفون: Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio

المساهمون: Berenbrink, Petra, Monmege, Benjamin

مصطلحات موضوعية: Electronic computers. Computer science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/80069/1/Goubault_etal_STACS2022_A_simplicial_model_for_KB4n.pdf; Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio; Berenbrink, Petra and Monmege, Benjamin, eds. (2022 ) A simplicial model for KB4n : epistemic logic with agents that may die. In: 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Leibniz International Proceedings in Informatics, LIPIcs, 219 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, FRA, 33:1--33:20. ISBN 9783959772228

الاتاحة: https://strathprints.strath.ac.uk/80069/
https://strathprints.strath.ac.uk/80069/1/Goubault_etal_STACS2022_A_simplicial_model_for_KB4n.pdf
https://doi.org/10.4230/LIPIcs.STACS.2022.33

المؤلفون: Hofmann, Martin, Ledent, Jérémy

مصطلحات موضوعية: Mathematics

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/78701/13/Hofmann_Ledent_MSCS_2021_A_quantitative_model_for_simply_typed_lambda_calculus.pdf; Hofmann, Martin and Ledent, Jérémy (2022 ) A quantitative model for simply typed λ-calculus. Mathematical Structures in Computer Science , 32 (Specia). pp. 777-793. ISSN 1469-8072

الاتاحة: https://strathprints.strath.ac.uk/78701/
https://strathprints.strath.ac.uk/78701/13/Hofmann_Ledent_MSCS_2021_A_quantitative_model_for_simply_typed_lambda_calculus.pdf
https://doi.org/10.1017/S0960129521000256

المؤلفون: Armenta-Segura,Jorge, Ledent,Jeremy, Rajsbaum,Sergio

المصدر: Computación y Sistemas v.26 n.2 2022

مصطلحات موضوعية: Distributed algorithm, approximate consensus, fault-tolerance, epistemic logic

وصف الملف: text/html

الاتاحة: http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462022000200769

المؤلفون: Armenta-Segura, Jorge, Ledent, Jeremy, Rajsbaum, Sergio

مصطلحات موضوعية: Mathematics

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/82840/1/Armenta_Segura_etal_CyS_2022_Two_agent_approximate_agreement_from_an_epistemic_logic_perspective.pdf; Armenta-Segura, Jorge and Ledent, Jeremy and Rajsbaum, Sergio (2022 ) Two-agent approximate agreement from an epistemic logic perspective. Computación y Sistemas , 26 (2). pp. 769-785. ISSN 2007-9737

الاتاحة: https://strathprints.strath.ac.uk/82840/
https://strathprints.strath.ac.uk/82840/1/Armenta_Segura_etal_CyS_2022_Two_agent_approximate_agreement_from_an_epistemic_logic_perspective.pdf
https://doi.org/10.13053/CyS-26-2-4234

المؤلفون: Atkey, Robert, Gavranović, Bruno, Ghani, Neil, Kupke, Clemens, Ledent, Jérémy, Nordvall Forsberg, Fredrik

مصطلحات موضوعية: Electronic computers. Computer science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/73674/1/Atkey_etal_ACT2020_Compositional_Game_Theory_compositionally.pdf; Atkey, Robert and Gavranović, Bruno and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik (2020 ) Compositional Game Theory, compositionally. In: Applied Category Theory 2020 , 2020-07-06 - 2020-07-10.

الاتاحة: https://strathprints.strath.ac.uk/73674/
https://strathprints.strath.ac.uk/73674/1/Atkey_etal_ACT2020_Compositional_Game_Theory_compositionally.pdf

المؤلفون: van Ditmarsch, Hans, Goubault, Éric, Lazić, Marijana, Ledent, Jérémy, Rajsbaum, Sergio

مصطلحات موضوعية: Mathematics

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/75448/1/vanDitmarsch_etal_JLAMP_2021_A_dynamic_epistemic_logic_analysis_of_equality_negation.pdf; van Ditmarsch, Hans and Goubault, Éric and Lazić, Marijana and Ledent, Jérémy and Rajsbaum, Sergio (2021 ) A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Journal of Logical and Algebraic Methods in Programming , 121. 100662. ISSN 2352-2216

الاتاحة: https://strathprints.strath.ac.uk/75448/
https://strathprints.strath.ac.uk/75448/1/vanDitmarsch_etal_JLAMP_2021_A_dynamic_epistemic_logic_analysis_of_equality_negation.pdf
https://doi.org/10.1016/j.jlamp.2021.100662

المؤلفون: Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio

مصطلحات موضوعية: Library Science. Information Science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/73836/1/Goubault_etal_IAC_2020_A_simplicial_complex_model_for_dynamic_epistemic_logic.pdf; Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio (2021 ) A simplicial complex model for dynamic epistemic logic to study distributed task computability. Information and Computation , 278. 104597. ISSN 0890-5401

الاتاحة: https://strathprints.strath.ac.uk/73836/
https://strathprints.strath.ac.uk/73836/1/Goubault_etal_IAC_2020_A_simplicial_complex_model_for_dynamic_epistemic_logic.pdf
https://doi.org/10.1016/j.ic.2020.104597

المؤلفون: Hofmann, Martin, Ledent, Jérémy

المصدر: Mathematical Structures in Computer Science ; volume 32, issue 6, page 777-793 ; ISSN 0960-1295 1469-8072

الاتاحة: http://dx.doi.org/10.1017/s0960129521000256
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0960129521000256

المؤلفون: Ledent, Jérémy, Mimram, Samuel

المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 30th International Conference on Concurrency Theory (CONCUR 2019)
https://inria.hal.science/hal-04244357
30th International Conference on Concurrency Theory (CONCUR 2019), Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.34⟩

مصطلحات موضوعية: Asynchronous computability, Combinatorial topology, Protocol complex, Distributed task, Computer Science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Amsterdam, Netherlands

Relation: hal-04244357; https://inria.hal.science/hal-04244357; https://inria.hal.science/hal-04244357/document; https://inria.hal.science/hal-04244357/file/concur.pdf

الاتاحة: https://inria.hal.science/hal-04244357
https://inria.hal.science/hal-04244357/document
https://inria.hal.science/hal-04244357/file/concur.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2019.34