RG1
Automation of Logic

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