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
Select result number 1
1
Lean and Full Congruence Formats for Recursion
by
van Glabbeek, Rob
Published 2017
Get access
Get access
Report
Select result number 2
2
Lean and Full Congruence Formats for Recursion
by
van Glabbeek, Rob
Published 2017
Get access
Text
Select result number 3
3
Buffer Overflow Analysis for C
by
Khedker, Uday P.
Published 2014
Get access
Text
Select result number 4
4
Explicit Refinement Types
by
Ghalayini, Jad Elkhaleq
,
Krishnaswami, Neel
Published in
Proceedings of the ACM on Programming Languages
(2023)
Get access
Get access
Text
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...