BibTeX record journals/afp/MichaelisN17
download as .bib file
@article{DBLP:journals/afp/MichaelisN17,
author = {Julius Michaelis and
Tobias Nipkow},
title = {Propositional Proof Systems},
journal = {Archive of Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/Propositional\_Proof\_Systems.shtml},
timestamp = {Mon, 07 Jan 2019 11:16:33 +0100},
biburl = {https://dblp.org/rec/bib/journals/afp/MichaelisN17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by

, founded at
