IFIP International Federation for Information Processing - Exploring New Frontiers of Theoretical Informatics
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402081405
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Dynamic Typing with Dependent Types

2006 ◽  
pp. 437-450 ◽  
Author(s):  
Xinming Ou ◽  
Gang Tan ◽  
Yitzhak Mandelbaum ◽  
David Walker
Keyword(s):  
Dependent Types ◽  
Dynamic Typing

scholarly journals Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree

2006 ◽  
pp. 153-166 ◽  
Author(s):  
Paola Flocchini ◽  
Antonio Mesa Enriques ◽  
Linda Pagli ◽  
Giuseppe Prencipe ◽  
Nicola Santoro
Keyword(s):  
Shortest Path ◽  
Shortest Path Tree
Load More ...
Sign in / Sign up

Export Citation Format

Share Document