Yossi Gil, Yoav Zibin. Efficient algorithms for isomorphisms of simple types. Mathematical Structures in Computer Science (MSCS), 15(5):917-957, October 2005.
[ Rectype ]
@article{gizi2005,
Author = {Gil, Yossi and Zibin, Yoav},
Title = {Efficient algorithms for isomorphisms of simple types},
Journal = {Mathematical Structures in Computer Science (MSCS)},
Volume = {15},
Number = {5},
Pages = {917--957},
Month = {October},
Year = {2005}
}
Get EndNote Reference (.ref)