%0 Conference Paper %1 conf/ctcs/MossakowskiTP97 %A Mossakowski, Till %A Tarlecki, Andrzej %A Pawlowski, Wieslaw %B Category Theory and Computer Science %D 1997 %E Moggi, Eugenio %E Rosolini, Giuseppe %I Springer %K dblp %P 177-196 %T Combining and Representing Logical Systems. %U http://dblp.uni-trier.de/db/conf/ctcs/ctcs1997.html#MossakowskiTP97 %V 1290 %@ 3-540-63455-X

@inproceedings{conf/ctcs/MossakowskiTP97, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mossakowski, Till and Tarlecki, Andrzej and Pawlowski, Wieslaw}, biburl = {https://www.bibsonomy.org/bibtex/2ff6b90d4a4345dde1f3896c0c7d1aab6/dblp}, booktitle = {Category Theory and Computer Science}, crossref = {conf/ctcs/1997}, editor = {Moggi, Eugenio and Rosolini, Giuseppe}, ee = {https://doi.org/10.1007/BFb0026988}, interhash = {6c631103d801701811621112ffb4a2de}, intrahash = {ff6b90d4a4345dde1f3896c0c7d1aab6}, isbn = {3-540-63455-X}, keywords = {dblp}, pages = {177-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:29:12.000+0200}, title = {Combining and Representing Logical Systems.}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs1997.html#MossakowskiTP97}, volume = 1290, year = 1997 }