Current Year
Akbarbaglu, I., Aghababa, H. P., & Rahkooy, H. (2022). On the Algebraic Structures in A(Phi) (G). Mediterranian Journal of Mathematics, 19(3). doi:10.1007/s00009-022-02052-z
Export
BibTeX
@article{Akbarbaglu22,
TITLE = {On the Algebraic Structures in A(Phi) (G)},
AUTHOR = {Akbarbaglu, Ibrahim and Aghababa, Hasan P. and Rahkooy, Hamid},
LANGUAGE = {eng},
DOI = {10.1007/s00009-022-02052-z},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
JOURNAL = {Mediterranian Journal of Mathematics},
VOLUME = {19},
NUMBER = {3},
EID = {131},
}
Endnote
%0 Journal Article
%A Akbarbaglu, Ibrahim
%A Aghababa, Hasan P.
%A Rahkooy, Hamid
%+ External Organizations
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
%T On the Algebraic Structures in A(Phi) (G) :
%G eng
%U http://hdl.handle.net/21.11116/0000-000A-A750-F
%R 10.1007/s00009-022-02052-z
%7 2022
%D 2022
%J Mediterranian Journal of Mathematics
%V 19
%N 3
%Z sequence number: 131
%I Springer
%C New York, NY
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
Waldmann, U., Tourret, S., Robillard, S., & Blanchette, J. C. (2022). A Comprehensive Framework for Saturation Theorem Proving. Journal of Automated Reasoning. doi:10.1007/s10817-022-09621-7
Export
BibTeX
@article{Waldmann_2022,
TITLE = {A Comprehensive Framework for Saturation Theorem Proving},
AUTHOR = {Waldmann, Uwe and Tourret, Sophie and Robillard, Simon and Blanchette, Jasmin Christian},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-022-09621-7},
PUBLISHER = {D. Reidel Pub. Co.},
ADDRESS = {Dordrecht, Holland},
YEAR = {2022},
JOURNAL = {Journal of Automated Reasoning},
}
Endnote
%0 Journal Article
%A Waldmann, Uwe
%A Tourret, Sophie
%A Robillard, Simon
%A Blanchette, Jasmin Christian
%+ Automation of Logic, MPI for Informatics, Max Planck Society
Automation of Logic, MPI for Informatics, Max Planck Society
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
%T A Comprehensive Framework for Saturation Theorem Proving :
%G eng
%U http://hdl.handle.net/21.11116/0000-000A-9D8A-A
%R 10.1007/s10817-022-09621-7
%7 2022
%D 2022
%J Journal of Automated Reasoning
%I D. Reidel Pub. Co.
%C Dordrecht, Holland
%@ false