3273 search results - page 16 / 655 » types 2007 |
115
Voted
MKM
2007
Springer
15 years 9 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
91
Voted
COMBINATORICS
2007
15 years 3 months ago
2007
We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
88
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
109
Voted
IFL
2007
Springer
15 years 9 months ago
2007
Springer