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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2020}}

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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/c5Wz},
  doi       = {10.29007/ltzn},
  pages     = {1-25},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gvcD},
  doi       = {10.29007/4dr3},
  pages     = {26-36},
  year      = {2020}}


@inproceedings{ANDREI-60:Reconstructing_Constraint_Satisfaction_Problem,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/gh3r},
  doi       = {10.29007/1j7l},
  pages     = {37-49},
  year      = {2020}}