Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2404-03709,
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.400},
  doi          = {10.4204/EPTCS.400},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-03709.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2211-13513,
  author       = {Jelle Wemmenhove and
                  Dick Arends and
                  Thijs Beurskens and
                  Maitreyee Bhaid and
                  Sean McCarren and
                  Jan Moraal and
                  Diego Rivera Garrido and
                  David Tuin and
                  Malcolm Vassallo and
                  Pieter Wils and
                  Jim Portegies},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Waterproof: Educational Software for Learning How to Write Mathematical
                  Proofs},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {96--119},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.7},
  doi          = {10.4204/EPTCS.400.7},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-13513.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2303-17513,
  author       = {Merlin Carl},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Improving the Diproche {CNL} through autoformalization via {GPT-3}},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {44--58},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.4},
  doi          = {10.4204/EPTCS.400.4},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-17513.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2304-06186,
  author       = {Merlin Carl},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Using large language models for (de-)formalization and natural argumentation
                  exercises for beginner's students},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {28--43},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.3},
  doi          = {10.4204/EPTCS.400.3},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-06186.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2404-05457,
  author       = {Christophe Scholliers},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {WebPie: {A} Tiny Slice of Dependent Typing},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {2--27},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.2},
  doi          = {10.4204/EPTCS.400.2},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05457.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2404-05458,
  author       = {Simon Tobias Lund and
                  J{\o}rgen Villadsen},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Teaching Higher-Order Logic Using Isabelle},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {59--78},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.5},
  doi          = {10.4204/EPTCS.400.5},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05458.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2404-05459,
  author       = {Qinxiang Cao and
                  Xiwei Wu and
                  Yalun Liang},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {A Coq Library of Sets for Teaching Denotational Semantics},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {79--95},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.6},
  doi          = {10.4204/EPTCS.400.6},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05459.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2404-05462,
  author       = {Walther Neuper},
  editor       = {Julien Narboux and
                  Walther Neuper and
                  Pedro Quaresma},
  title        = {Interactive Formal Specification for Mathematical Problems of Engineers},
  booktitle    = {Proceedings 12th International Workshop on Theorem proving components
                  for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
  series       = {{EPTCS}},
  volume       = {400},
  pages        = {120--138},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.400.8},
  doi          = {10.4204/EPTCS.400.8},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05462.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.