A Metalanguage for Guarded Iteration (bibtex)
by Sergey Goncharov, Christoph Rauch, Lutz Schröder
Reference:
A Metalanguage for Guarded Iteration (Sergey Goncharov, Christoph Rauch, Lutz Schröder), In Theoretical Aspects of Computing -- ICTAC 2018 (Bernd Fischer, Tarmo Uustalu, eds.), pp. 191–210, Springer International Publishing, 2018. ( [ArXiv preprint] )
Bibtex Entry:
@InProceedings{	  GoncharovRauchEtAl18,
  author	= "Goncharov, Sergey and Rauch, Christoph and Schr{\"o}der,
		  Lutz",
  editor	= "Fischer, Bernd and Uustalu, Tarmo",
  title		= "A Metalanguage for Guarded Iteration",
  booktitle	= "Theoretical Aspects of Computing -- ICTAC 2018",
  year		= "2018",
  publisher	= "Springer International Publishing",
  address	= "Cham",
  pages		= "191--210",
  note = { <a href = "https://arxiv.org/abs/1807.11256"> [ArXiv preprint] </a> }
}
Powered by bibtexbrowser