A metalanguage for guarded iteration

DOI10.1007/978-3-030-02508-3_11OpenAlexW3185469825MaRDI QIDQ5915562

Christoph Rauch, S. S. Goncharov, Lutz Schröder

Publication date: 23 November 2018

Published in: Theoretical Aspects of Computing – ICTAC 2018 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.11256

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A metalanguage for guarded iteration

This page was built for publication: A metalanguage for guarded iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5915562)