ANDREI-60:BibTeX Entries

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}}