Dorel Lucanu, Traian Florin Serbanuta

Full Document (PDF)

Bibtex

@TechReport{CinKtr,
    author = "Dorel Lucanu and Traian Florin Serbanuta",
    title = "{CinK – an exercise on how to think in {$mathbf{K}$}}",
    institution = "``Al.I.Cuza'' University of Ia{c s}i, Faculty of Computer Science",
    year = "2012",
    number = "TR 12-03 (version 2)",
    url = "https://publications.info.uaic.ro/technical-reports/archive/tr12-03version-2-2012-cink-an-exercise-on-how-to-think-in-k/"
}