Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: M. Cerioli, A. Haxthausen, B. Krieg-Brückner, T. Mossakowski
Editor: M. Johnson
Title: Permissive Subsorted Partial Logic in CASL
Book / Collection title: Algebraic methodology and software technology, 6th international conference, AMAST 97
Page(s): 91–107
Series: Lecture Notes in Computer Science
Number: 1349
Year published: 1997
Publisher: Springer-Verlag, D-69121 Heidelberg, Germany
Internet: http://dx.doi.org/10.1007/BFb0000465
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/CASLsubsorts.ps
Status: Reviewed
Last updated: 04. 08. 2006

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum