Sciweavers

16430 search results - page 170 / 3286
» On Computable Tree Functions
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
Proof Search Tree and Cut Elimination
Grigori Mints
CG
2008
Springer
15 years 8 months ago
GTQ: A Language and Tool for Game-Tree Analysis
Jónheiður Ísleifsdóttir, ...
COMGEO
2008
ACM
15 years 6 months ago
Triangulations without pointed spanning trees
Oswin Aichholzer, Clemens Huemer, Hannes Krasser