Learning to Parse on Aligned Corpora (Rough Diamond)

Kaliszyk, C., Urban, J., Vyskočil, J.

KALISZYK, C., J. URBAN, and J. VYSKOČIL. Learning to Parse on Aligned Corpora (Rough Diamond). In: URBAN, C. and X. ZHANG, eds. Interactive Theorem Proving. 6th International Conference, Interactive Theorem Proving 2015, Nanjing, 2015-08-24/2015-08-27. Cham: Springer International Publishing, 2015. p. 227-233. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-319-22101-4. DOI 10.1007/978-3-319-22102-1_15.

URL: http://link.springer.com/chapter/10.1007%2F978-3-319-22102-1_15