×

Found 2 Documents (Results 1–2)

Permissive subsorted partial logic in CASL. (English) Zbl 0886.03022

Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 91-107 (1997).
MSC:  03B70 68Q65 08A70
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field

Software