Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs375.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2303-05360,
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.375},
  doi          = {10.4204/EPTCS.375},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05360.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05863,
  author       = {Joana Teles and
                  Vanda Santos and
                  Pedro Quaresma},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {A Rule Based Theorem Prover: an Introduction to Proofs in Secondary
                  Schools},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {24--37},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.3},
  doi          = {10.4204/EPTCS.375.3},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05863.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05864,
  author       = {Davi Romero de Vasconcelos},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {{ANITA:} Analytic Tableau Proof Assistant},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {38--53},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.4},
  doi          = {10.4204/EPTCS.375.4},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05864.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05865,
  author       = {Joomy Korkut},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {A Proof Tree Builder for Sequent Calculus and Hoare Logic},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {54--62},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.5},
  doi          = {10.4204/EPTCS.375.5},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05865.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05866,
  author       = {Frederik Krogsdal Jacobsen and
                  J{\o}rgen Villadsen},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {On Exams with the Isabelle Proof Assistant},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {63--76},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.6},
  doi          = {10.4204/EPTCS.375.6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05867,
  author       = {Ankit Kumar and
                  Andrew T. Walter and
                  Panagiotis Manolios},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {Automated Grading of Automata with ACL2s},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {77--91},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.7},
  doi          = {10.4204/EPTCS.375.7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05867.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-05868,
  author       = {Klaus Miesenberger and
                  Walther Neuper and
                  Bernhard St{\"{o}}ger and
                  Makarius Wenzel},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {92--111},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.8},
  doi          = {10.4204/EPTCS.375.8},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-05868.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-10166,
  author       = {Thierry N. Dana{-}Picard},
  editor       = {Pedro Quaresma and
                  Jo{\~{a}}o Marcos and
                  Walther Neuper},
  title        = {Computer Assisted Proofs and Automated Methods in Mathematics Education},
  booktitle    = {Proceedings 11th International Workshop on Theorem Proving Components
                  for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
                  2022},
  series       = {{EPTCS}},
  volume       = {375},
  pages        = {2--23},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.375.2},
  doi          = {10.4204/EPTCS.375.2},
  timestamp    = {Mon, 12 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-10166.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.