CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Haniková, Z., Manyà, F., Vidal, A
Published in:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Issue vol 14278, 2023
Publisher:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Author(s):
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Published in:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Publisher:
springer
DOI:
10.1007/s44196-022-00143-z
Author(s):
Vidal, Amanda
Published in:
The Journal of Symbolic Logic, Issue 2, 2022, Page(s) 1576-1605, ISSN 1943-5886
Publisher:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available