Reports
-
[1]
-
Tamás Kozsik.
Reasoning with Sparkle: a case study.
Technical Report, Eötvös Loránd University, Faculty of
Informatics, Budapest, Hungary, 2004.
45 pages.
[ bib ]
-
[2]
-
Tamás Kozsik.
Subtyping with subtype marks.
Technical Report 2003-P05, Eötvös Loránd University,
Faculty of Informatics, Budapest, Hungary, 2003.
54 pages.
[ bib ]
-
[3]
-
István Zólyomi, Zoltán Porkoláb, and Tamás Kozsik.
An extension to the subtype relationship in C++ implemented with
template metaprogramming.
Technical Report 2003-P04, Eötvös Loránd University,
Faculty of Informatics, Budapest, Hungary, 2003.
19 pages. Final version: LNCS
2830:209-227.
[ bib ]
-
[4]
-
Tamás Kozsik.
The application of an associative function on the prefixes of a
series.
Technical Report 2003-P03, Eötvös Loránd University,
Faculty of Informatics, Budapest, Hungary, 2003.
22 pages.
[ bib ]
-
[5]
-
Tamás Kozsik.
Assign predicates to subtype marks-a case study.
Technical Report 2003-P01, Eötvös Loránd University,
Faculty of Informatics, Budapest, Hungary, 2003.
23 pages.
[ bib ]
-
[6]
-
Zoltán Horváth, Tamás Kozsik, and Attila Ulbert.
Towards better optimization of resource allocation, 2002.
DemoGid/EDG project report, 20 pages.
[ bib ]
This file was generated by
bibtex2html 1.97.