A Metalanguage for Guarded Iteration

Conference contribution
(Conference Contribution)


Publication Details

Author(s): Goncharov S, Rauch C, Schröder L
Editor(s): Bernd Fischer
Tarmo Uustalu

Publisher: Springer International Publishing
Publication year: 2018
Conference Proceedings Title: Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187)
Pages range: 191--210
ISBN: 978-3-030-02507-6
ISSN: 0302-9743
Language: English


FAU Authors / FAU Editors

Goncharov, Sergey PD Dr.-Ing.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Rauch, Christoph
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In Bernd Fischer Tarmo Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187) (pp. 191--210). Stellenbosch, South Africa: Springer International Publishing.

MLA:
Goncharov, Sergey, Christoph Rauch, and Lutz Schröder. "A Metalanguage for Guarded Iteration." Proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, Stellenbosch, South Africa Ed. Bernd Fischer Tarmo Uustalu, Springer International Publishing, 2018. 191--210.

BibTeX: 

Last updated on 2019-05-04 at 21:10