×

Found 56 Documents (Results 1–56)

Algebraic geometry over \(C^\infty \)-rings. (English) Zbl 1431.14001

Memoirs of the American Mathematical Society 1256. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3645-2/pbk; 978-1-4704-5336-7/ebook). v, 139 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On algebras with effectful iteration. (English) Zbl 1520.18003

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018).
MSC:  18C20 68Q55 18C50
PDFBibTeX XMLCite
Full Text: DOI HAL

On continuous nondeterminism and state minimality. (English) Zbl 1337.68171

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 3-23, electronic only (2014).
MSC:  68Q70 06A12 18B30 54B30
PDFBibTeX XMLCite
Full Text: DOI

Rational operational models. (English) Zbl 1334.68137

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 257-282 (2013).
MSC:  68Q65 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software