×

Found 14 Documents (Results 1–14)

Niceness theorems. (English) Zbl 1190.00001

Kruglikov, Boris (ed.) et al., Differential equations – Geometry, symmetries and integrability. The Abel symposium 2008. Proceedings of the fifth Abel symposium, Tromsø, Norway, June 17–22, 2008. Berlin: Springer (ISBN 978-3-642-00872-6/hbk; 978-3-642-00873-3/ebook). Abel Symposia 5, 107-150 (2009).
PDFBibTeX XMLCite
Full Text: DOI

A category of transition systems and its relations with orthomodular posets. (English) Zbl 0934.18005

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 139-148 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software