DSpace at KOASAS
Search

Search

Start a new search
Current filters:
Add filters:
  • Results/Page
  • Sort items by
  • In order
  • Authors/record

Results 1-1 of 1 (Search time: 0.005 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1
Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages

Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006-11

Discover

rss_1.0 rss_2.0 atom_1.0