%0 Conference Paper %1 conf/wadt/MossakowskiTP97 %A Mossakowski, Till %A Tarlecki, Andrzej %A Pawlowski, Wieslaw %B WADT %D 1997 %E Parisi-Presicce, Francesco %I Springer %K dblp %P 349-364 %T Combining and representing logical systems using model-theoretic parchments. %U http://dblp.uni-trier.de/db/conf/wadt/wadt97.html#MossakowskiTP97 %V 1376 %@ 3-540-64299-4

@inproceedings{conf/wadt/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/24b510b9956d9002d9c9e87d37c6d4ff4/dblp}, booktitle = {WADT}, crossref = {conf/wadt/1997}, editor = {Parisi-Presicce, Francesco}, ee = {https://doi.org/10.1007/3-540-64299-4_44}, interhash = {2fe73c7f510c77d2d6666c1c0ab426ff}, intrahash = {4b510b9956d9002d9c9e87d37c6d4ff4}, isbn = {3-540-64299-4}, keywords = {dblp}, pages = {349-364}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:54:04.000+0200}, title = {Combining and representing logical systems using model-theoretic parchments.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt97.html#MossakowskiTP97}, volume = 1376, year = 1997 }