Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705826, 9783540705833
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Open Implication

2008 ◽  
pp. 361-372 ◽  
Author(s):  
Karin Greimel ◽  
Roderick Bloem ◽  
Barbara Jobstmann ◽  
Moshe Vardi

A Simple Model of Separation Logic for Higher-Order Store

2008 ◽  
pp. 348-360 ◽  
Author(s):  
Lars Birkedal ◽  
Bernhard Reus ◽  
Jan Schwinghammer ◽  
Hongseok Yang
Keyword(s):  
Simple Model ◽  
Higher Order ◽  
Separation Logic

scholarly journals Linear Logical Algorithms

2008 ◽  
pp. 336-347 ◽  
Author(s):  
Robert J. Simmons ◽  
Frank Pfenning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document