×

Found 3 Documents (Results 1–3)

Semiring neighbours: an algebraic embedding and extension of neighbourhood logic. (English) Zbl 1277.03028

Romijn, Judi (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 191, 49-72 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software