Confluence Competition 2018
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Takahito Aoto 0001, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida 0001, Kiraku Shintani, Harald Zankl
Confluence Competition 2018
FSCD, 2018.

FSCD 2018
Full names Links ISxN
	author        = "Takahito Aoto 0001 and Makoto Hamana and Nao Hirokawa and Aart Middeldorp and Julian Nagele and Naoki Nishida 0001 and Kiraku Shintani and Harald Zankl",
	booktitle     = "{Proceedings of the Third International Conference on Formal Structures for Computation and Deduction}",
	doi           = "10.4230/LIPIcs.FSCD.2018.32",
	isbn          = "978-3-95977-077-4",
	pages         = "5",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Confluence Competition 2018}",
	year          = 2018,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.