Abstract Completion, Formalized


BibTeX

@article{HMSW-LMCS19,
author = "Nao Hirokawa and Aart Middeldorp and Christian Sternagel and Sarah Winkler",
title = "Abstract Completion, Formalized",
journal = "Logical Methods in Computer Science",
volume = 15,
number = 3,
pages = "19:1--19:42",
year = 2019,
doi = "10.23638/LMCS-15(3:19)2019"
}


Nach oben scrollen