Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540330455, 9783540330462
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Logic of Reachable Patterns in Linked Data-Structures

2006 ◽  
pp. 94-110 ◽  
Author(s):  
Greta Yorsh ◽  
Alexander Rabinovich ◽  
Mooly Sagiv ◽  
Antoine Meyer ◽  
Ahmed Bouajjani
Keyword(s):  
Data Structures ◽  
Linked Data

scholarly journals Processes for Adhesive Rewriting Systems

2006 ◽  
pp. 202-216 ◽  
Author(s):  
Paolo Baldan ◽  
Andrea Corradini ◽  
Tobias Heindel ◽  
Barbara König ◽  
Paweł Sobociński
Keyword(s):  
Rewriting Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document