%0 Conference Paper %1 chkm97 %A Cerioli, M. %A Haxthausen, A. %A Krieg-Brückner, B. %A Mossakowski, T. %B Algebraic methodology and software technology, 6th international conference, AMAST 97 %D 1997 %E Johnson, M. %I Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de %K imported %N 1349 %P 91–107 %T Permissive Subsorted Partial Logic in CASL %U http://dx.doi.org/10.1007/BFb0000465

@inproceedings{chkm97, added-at = {2016-08-05T15:59:03.000+0200}, author = {Cerioli, M. and Haxthausen, A. and Krieg-Br{\"u}ckner, B. and Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/2acea7b0060137095037855f0207af4e5/tillmo}, booktitle = {Algebraic methodology and software technology, 6th international conference, AMAST 97}, editor = {Johnson, M.}, interhash = {88a2e5c35bd595274f8e1c729ad880ef}, intrahash = {acea7b0060137095037855f0207af4e5}, keywords = {imported}, number = 1349, pages = {91–107}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/CASLsubsorts.ps}, publisher = {Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Permissive Subsorted Partial Logic in CASL}, url = {http://dx.doi.org/10.1007/BFb0000465}, year = 1997 }