Current Year
Tourret, S., & Weidenbach, C. (2022). A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. Journal of Automated Reasoning. doi:10.1007/s10817-022-09617-3
Export
BibTeX
@article{Tourret2022,
TITLE = {A Posthumous Contribution by {Larry Wos}: {E}xcerpts from an Unpublished Column},
AUTHOR = {Tourret, Sophie and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-022-09617-3},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
JOURNAL = {Journal of Automated Reasoning},
}
Endnote
%0 Journal Article
%A Tourret, Sophie
%A Weidenbach, Christoph
%+ Automation of Logic, MPI for Informatics, Max Planck Society
Automation of Logic, MPI for Informatics, Max Planck Society
%T A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column :
%G eng
%U http://hdl.handle.net/21.11116/0000-0009-FACB-9
%R 10.1007/s10817-022-09617-3
%7 2022
%D 2022
%J Journal of Automated Reasoning
%I Springer
%C New York, NY
%@ false
Vukmirović, P., Bentkamp, A., Blanchette, J. C., Cruanes, S., Nummelin, V., & Tourret, S. (2022). Making Higher-Order Superposition Work. Journal of Automated Reasoning. doi:10.1007/s10817-021-09613-z
Export
BibTeX
@article{Vukmirovic2022,
TITLE = {Making Higher-Order Superposition Work},
AUTHOR = {Vukmirovi{\'c}, Petar and Bentkamp, Alexander and Blanchette, Jasmin Christian and Cruanes, Simon and Nummelin, Visa and Tourret, Sophie},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-021-09613-z},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
JOURNAL = {Journal of Automated Reasoning},
}
Endnote
%0 Journal Article
%A Vukmirović, Petar
%A Bentkamp, Alexander
%A Blanchette, Jasmin Christian
%A Cruanes, Simon
%A Nummelin, Visa
%A Tourret, Sophie
%+ External Organizations
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
External Organizations
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
%T Making Higher-Order Superposition Work :
%G eng
%U http://hdl.handle.net/21.11116/0000-0009-F7A1-A
%R 10.1007/s10817-021-09613-z
%7 2022
%D 2022
%J Journal of Automated Reasoning
%I Springer
%C New York, NY
%@ false
%U https://rdcu.be/cGXwx