%0 Journal Article %1 journals/logcom/WolterMH15 %A Wolter, Uwe %A Martini, Alfio %A Haeusler, Edward Hermann %D 2015 %J J. Log. Comput. %K %N 1 %P 57-93 %T Towards a uniform presentation of logical systems by indexed categories and adjoint situations. %U http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#WolterMH15 %V 25

@article{journals/logcom/WolterMH15, added-at = {2023-12-13T08:17:31.000+0100}, author = {Wolter, Uwe and Martini, Alfio and Haeusler, Edward Hermann}, biburl = {https://www.bibsonomy.org/bibtex/2b15fa0d803b3b7f8a86847c68e5e3a80/admin}, ee = {http://dx.doi.org/10.1093/logcom/exs038}, interhash = {c273225ba02b73cd97de333af3152c1a}, intrahash = {b15fa0d803b3b7f8a86847c68e5e3a80}, journal = {J. Log. Comput.}, keywords = {}, number = 1, pages = {57-93}, timestamp = {2023-12-13T08:17:31.000+0100}, title = {Towards a uniform presentation of logical systems by indexed categories and adjoint situations.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#WolterMH15}, volume = 25, year = 2015 }