×

Found 5 Documents (Results 1–5)

Sequential algorithms for unbounded nondeterminism. (English) Zbl 1351.68060

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 271-287, electronic only (2015).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Biographic Reference

Software