Data Portal @ linkeddatafragments.org
Library of Congress
Search Library of Congress by triple pattern
subject
predicate
object
Matches in Library of Congress for
{ ?s ?p ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding. }
Showing items 1 to 2 of
2
with
100
items per page.
2006273618
alternative
"
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
"
.
2006273618
title
"
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
"
.
