Sciweavers

10447 search results - page 391 / 2090
» The Philosophy of Computer Science
Sort
View
TLCA
2009
Springer
16 years 4 days ago
Refinement Types as Proof Irrelevance
William Lovas, Frank Pfenning
WG
2009
Springer
16 years 4 days ago
Directed Rank-Width and Displit Decomposition
Mamadou Moustapha Kanté, Michaël Rao
WG
2009
Springer
16 years 4 days ago
Maximum Series-Parallel Subgraph
Gruia Calinescu, Cristina G. Fernandes, Hemanshu K...