| Year | 2018 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
Links
Abstract
WoLLic 2018BibTeX
@INPROCEEDINGS {umb-2018,
author = "Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu",
title = "Unification Modulo Builtin",
booktitle = "25th Workshop on Logic, Language, Information and Computation, Wollic",
year = "2018",
series = "LNCS",
note = "to appear"
}