×

Found 2 Documents (Results 1–2)

An axiomatics for categories of transition systems as coalgebras. (English) Zbl 0945.18500

Thirteenth annual IEEE symposium on Logic in computer science. Held in Indianapolis, IN, USA, June 21-24, 1998. Los Alamitos, CA: IEEE Computer Society. 207-213 (1998).
MSC:  18B20 68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field