Login / Signup
Eoin Moore
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Intended Meaning
Multi Agent Systems
Relational Databases
Probability Distribution
Top Venues
J. Log. Comput.
LFCS
</>
Publications
</>
Eoin Moore
Soundness and Completeness Results for LEA and Probability Semantics.
LFCS
(2022)
Eoin Moore
Soundness and completeness results for LEA and probability semantics.
J. Log. Comput.
32 (8) (2022)