Showing
1 - 4
results of
4
for search '
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
F.3.2
Reset Filters
Show filters (1)
Topic:
F.3.2
Search Results - Open Polar
Search Results
Showing
1 - 4
results of
4
for search '
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Lean and Full Congruence Formats for Recursion
Get access
Get access
Lean and Full Congruence Formats for Recursion
Get access
Buffer Overflow Analysis for C
Get access
Explicit Refinement Types
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
3
Report
1
Author
van Glabbeek, Rob
2
Ghalayini, Jad Elkhaleq
1
Khedker, Uday P.
1
Krishnaswami, Neel
1
see all ...
Topic
F.3.2
Computer Science - Programming Languages
2
D.3.4
2
F.3.1
2
Computer Science - Logic in Computer Science
1
D.2.4
1
D.3.1
1
FOS Computer and information sciences
1
Logic in Computer Science cs.LO
1
see all ...
Content Provider
ArXiv.org (Cornell University Library)
3
DataCite Metadata Store (German National Library of Science and Technology)
1
Language
unknown
4
Open Polar Keyword
Iceland
2
DML
1
The Pointers
1
Loading...