D. Fuenmayor
发表
Christoph Benzmüller,
D. Fuenmayor,
2018
.
W. Carnielli,
D. Fuenmayor,
2020
.
Christoph Benzmüller,
D. Fuenmayor,
2019,
Bulletin of the Section of Logic.
D. Fuenmayor,
A. Steen,
2022,
RuleML+RR.
G. Sutcliffe,
Christoph Benzmüller,
D. Fuenmayor,
2022,
ArXiv.
Christoph Benzmüller,
D. Fuenmayor,
2019,
Bulletin of the Section of Logic.
D. Fuenmayor,
2021,
2104.04284.
G. Sutcliffe,
Christoph Benzmüller,
D. Fuenmayor,
2022,
PAAR@IJCAR.
Christoph Benzmüller,
D. Fuenmayor,
Bertram Lomfeld,
2022
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2021,
ITP.
Xavier Parent,
Leendert van der Torre,
David Fuenmayor,
2020,
Data in brief.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018
.
Christoph Benzmüller,
D. Fuenmayor,
2020,
ITP.
Alexander Steen,
David Fuenmayor,
D. Fuenmayor,
2021,
ArXiv.
D. Fuenmayor,
Bertram Lomfeld,
C. Benzmuller,
2020,
Logics.
D. Fuenmayor,
2021,
2104.04284.
Marcelo E. Coniglio,
Walter Carnielli,
David Fuenmayor,
2020,
The Review of Symbolic Logic.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2017,
Arch. Formal Proofs.
D. Fuenmayor,
Fabián Fernando Serrano Suárez,
2022,
CICM.
David Fuenmayor,
D. Fuenmayor,
2020,
Arch. Formal Proofs.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2020,
ECAI.
Christoph Benzmüller,
D. Fuenmayor,
2021
.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2019,
PRICAI.
Christoph Benzmüller,
David Fuenmayor,
Christoph Benzmüller,
2018,
Arch. Formal Proofs.
Christoph Benzmüller,
D. Fuenmayor,
Bertram Lomfeld,
2020,
ArXiv.