%0 Journal Article %1 journals/afp/PopescuT20d %A Popescu, Andrei %A Traytel, Dmitriy %D 2020 %J Arch. Formal Proofs %K dblp %T Syntax-Independent Logic Infrastructure. %U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#PopescuT20d %V 2020

@article{journals/afp/PopescuT20d, added-at = {2020-12-10T00:00:00.000+0100}, author = {Popescu, Andrei and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/284f7efa74dc45eb437c0db687628f6fe/dblp}, ee = {https://www.isa-afp.org/entries/Syntax_Independent_Logic.html}, interhash = {51d66d468566e627bd55e0c0891a7b35}, intrahash = {84f7efa74dc45eb437c0db687628f6fe}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:02.000+0200}, title = {Syntax-Independent Logic Infrastructure.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#PopescuT20d}, volume = 2020, year = 2020 }