TR12-03(version 2) (2012) – CinK – an exercise on how to think in K

Dorel Lucanu, Traian Florin Serbanuta

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 = "2013",
number = "TR 12-03 (version 2)",
note = "URL:http://www.infoiasi.ro/~tr/tr.pl.cgi"
}