Volume
@proceedings{ANDREI-60,
title = {ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia},
editor = {Laura Kovacs and Konstantin Korovin and Giles Reger},
series = {EPiC Series in Computing},
volume = {68},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{ANDREI-60:Description_Logics_That_Count,
author = {Franz Baader and Filippo De Bortoli},
title = {Description Logics That Count, and What They Can and Cannot Count},
booktitle = {ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia},
editor = {Laura Kovacs and Konstantin Korovin and Giles Reger},
series = {EPiC Series in Computing},
volume = {68},
pages = {1--25},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/c5Wz},
doi = {10.29007/ltzn}}
@inproceedings{ANDREI-60:Who_Needs_Category_Theory,
author = {Andreas Blass and Yuri Gurevich},
title = {Who Needs Category Theory?},
booktitle = {ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia},
editor = {Laura Kovacs and Konstantin Korovin and Giles Reger},
series = {EPiC Series in Computing},
volume = {68},
pages = {26--36},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/gvcD},
doi = {10.29007/4dr3}}
@inproceedings{ANDREI-60:Reconstructing_in_Constraint_Satisfaction,
author = {Evgeny Dantsin},
title = {Reconstructing in the Constraint Satisfaction Problem},
booktitle = {ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia},
editor = {Laura Kovacs and Konstantin Korovin and Giles Reger},
series = {EPiC Series in Computing},
volume = {68},
pages = {37--49},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/gh3r},
doi = {10.29007/1j7l}}