Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662446010, 9783662446027

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-662-44602-7_3 ◽

2014 ◽

pp. 27-38 ◽

Cited By ~ 1

Author(s):

Fei Chen ◽

Xiaowei Wu

Keyword(s):

Peer To Peer ◽

Peer Networks ◽

Peer To Peer Networks ◽

Large File

Download Full-text

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-662-44602-7_14 ◽

2014 ◽

pp. 164-178 ◽

Cited By ~ 4

Author(s):

Jon Haël Brenas ◽

Rachid Echahed ◽

Martin Strecker

Download Full-text

Quantitative Types for the Linear Substitution Calculus

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-662-44602-7_23 ◽

2014 ◽

pp. 296-310 ◽

Cited By ~ 8

Author(s):

Delia Kesner ◽

Daniel Ventura

Keyword(s):

Linear Substitution

Download Full-text

Lecture Notes in Computer Science - Theoretical Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs

Quantitative Types for the Linear Substitution Calculus

Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications