Evgeny Makarov

	2011
3		Evgeny Makarov: Provably Total Functions of Arithmetic with Basic Terms DICE 2011: 28-32
2		Kirill Dmitriev, Evgeny Makarov: Generating displacement from normal map for use in 3D games. SIGGRAPH Talks 2011: 9
	1997
1		Evgeny Makarov: A Proof Procedure for Hereditary Harrop Formulas with Free Equality. LFCS 1997: 203-213

Coauthor Index

1

Kirill Dmitriev

[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page