BibTeX record journals/corr/abs-2101-03807

download as .bib file

@inproceedings{DBLP:journals/corr/abs-2101-03807,
  author    = {Arve Gengelbach and
               Johannes {\AA}man Pohjola and
               Tjark Weber},
  editor    = {Claudio Sacerdoti Coen and
               Alwen Tiu},
  title     = {Mechanisation of Model-theoretic Conservative Extension for {HOL}
               with Ad-hoc Overloading},
  booktitle = {Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages:
               Theory and Practice, {LFMTP} 2020, Paris, France, 29th June 2020},
  series    = {{EPTCS}},
  volume    = {332},
  pages     = {1--17},
  year      = {2020},
  url       = {https://doi.org/10.4204/EPTCS.332.1},
  doi       = {10.4204/EPTCS.332.1},
  timestamp = {Tue, 02 Feb 2021 14:58:16 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2101-03807.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics