Exploiting unique fixed points

Podrobná bibliografie
Hlavní autor: Hinze, R
Médium: Conference item
Vydáno: 2008