top

Pubblicazioni (Istanze)

http://share-vde.org/sharevde/rdfBibframe/Agent/1354910

http://share-vde.org/sharevde/rdfBibframe/Agent/1354910

rdfs:label CPP (Conference)Mumbai, India)2015 :(4th : (CORNELL9477707)
rdfs:label CPP (Conference)Mumbai, India)2015 :(4th : (DUKE007462893)
rdfs:label CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (NYU004372514)
rdfs:label CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (UCHICAGO11076197)
rdfs:label CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (UPENN9960089713503681)
rdfs:label CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (NYU006478990)
rdfs:label CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (COLORADOspr761874772)
rdfs:label CPP (Conference)Kyoto, Japan)2012 :(2nd : (DUKE005782867)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UPENN9962055803503681)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UCHICAGO11083926)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UMINNESOTA9974028159401701)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (NYU004444413)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (NYU004669300)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (COLORADOspr874034775)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UCSD874034775)
rdfs:label CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UALBERTA6537158)
rdfs:label CPP (Conference)Los Angeles, Calif.)2018 :(7th : (UCSD1035799440)
rdfs:label CPP (Conference)Saint Petersburg, Fla.)2016 :(5th : (UCSD957525481)
rdfs:label CPP (Conference)Paris, France)2017 :(6th : (UCSD987018834)
rdfs:label CPP (Conference) (http://share-vde.org)
rdfs:label CPP (Conference) 2011 : Kʻen-ting, Taiwan) (http://share-vde.org)
rdfs:label CPP (Conference) 2012 : Kyoto, Japan) (http://share-vde.org)
rdfs:label International Conference on Certified Programs and Proofs (http://share-vde.org)
rdfs:label Conference on Certified Programs and Proofs, International (http://share-vde.org)
rdfs:label Conference on Certified Programs and Proofs, International 2011 : Kʻen-ting, Taiwan) (http://share-vde.org)
rdfs:label International Conference on Certified Programs and Proofs 2011 : Kʻen-ting, Taiwan) (http://share-vde.org)
rdfs:label International Conference on Certified Programs and Proofs 2012 : Kyoto, Japan) (http://share-vde.org)
rdfs:label Conference on Certified Programs and Proofs, International 2012 : Kyoto, Japan) (http://share-vde.org)
rdfs:label CPP (Conference) (3rd : 2013 : Melbourne, Vic.) (http://share-vde.org)
rdfs:label CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) (http://share-vde.org)
rdfs:label CPP (Conference) (2nd : 2012 : Kyoto, Japan) (http://share-vde.org)
rdfs:label CPP (Conference) (4th : 2015 : Mumbai, India) (http://share-vde.org)
rdfs:label CPP (Conference) (6th : 2017 : Paris, France) (http://share-vde.org)
rdfs:label CPP (Conference) (5th : 2016 : Saint Petersburg, Fla.) (http://share-vde.org)
rdfs:label CPP (Conference) (7th : 2018 : Los Angeles, Calif.) (http://share-vde.org)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(4th : $d2015 : $cMumbai, India) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (CORNELL9477707)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(4th : $d2015 : $cMumbai, India) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (DUKE007462893)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(1st : $d2011 : $cKʻen-ting, Taiwan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (NYU004372514)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(1st : $d2011 : $cKʻen-ting, Taiwan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCHICAGO11076197)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(1st : $d2011 : $cKʻen-ting, Taiwan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UPENN9960089713503681)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(1st : $d2011 : $cKʻen-ting, Taiwan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (NYU006478990)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(1st : $d2011 : $cKʻen-ting, Taiwan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (COLORADOspr761874772)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(2nd : $d2012 : $cKyoto, Japan) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (DUKE005782867)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UPENN9962055803503681)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCHICAGO11083926)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UMINNESOTA9974028159401701)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (NYU004444413)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (NYU004669300)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (COLORADOspr874034775)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCSD874034775)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(3rd : $d2013 : $cMelbourne, Vic.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UALBERTA6537158)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(7th : $d2018 : $cLos Angeles, Calif.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCSD1035799440)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(5th : $d2016 : $cSaint Petersburg, Fla.) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCSD957525481)
bflc:name11MarcKey 1112 $aCPP (Conference) $n(6th : $d2017 : $cParis, France) $1http://share-vde.org/sharevde/rdfBibframe/Agent/1354910 $1http://viaf.org/viaf/296946289 (UCSD987018834)
bflc:name11MatchKey CPP (Conference)Mumbai, India)2015 :(4th : (CORNELL9477707)
bflc:name11MatchKey CPP (Conference)Mumbai, India)2015 :(4th : (DUKE007462893)
bflc:name11MatchKey CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (NYU004372514)
bflc:name11MatchKey CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (UCHICAGO11076197)
bflc:name11MatchKey CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (UPENN9960089713503681)
bflc:name11MatchKey CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (NYU006478990)
bflc:name11MatchKey CPP (Conference)Kʻen-ting, Taiwan)2011 :(1st : (COLORADOspr761874772)
bflc:name11MatchKey CPP (Conference)Kyoto, Japan)2012 :(2nd : (DUKE005782867)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UPENN9962055803503681)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UCHICAGO11083926)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UMINNESOTA9974028159401701)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (NYU004444413)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (NYU004669300)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (COLORADOspr874034775)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UCSD874034775)
bflc:name11MatchKey CPP (Conference)Melbourne, Vic.)2013 :(3rd : (UALBERTA6537158)
bflc:name11MatchKey CPP (Conference)Los Angeles, Calif.)2018 :(7th : (UCSD1035799440)
bflc:name11MatchKey CPP (Conference)Saint Petersburg, Fla.)2016 :(5th : (UCSD957525481)
bflc:name11MatchKey CPP (Conference)Paris, France)2017 :(6th : (UCSD987018834)

mads:isIdentifiedByAuthority http://id.loc.gov/authorities/names/nb2013003834 (http://share-vde.org)
http://www.w3.org/2002/07/owl#sameAs http://viaf.org/viaf/296946289 (http://share-vde.org)
rdf:type bf:Agent (http://share-vde.org)
rdf:type bf:Agent (CORNELL9477707)
rdf:type bf:Agent (NYU004372514)
rdf:type bf:Agent (UCHICAGO11076197)
rdf:type bf:Agent (DUKE005782867)
rdf:type bf:Agent (UPENN9962055803503681)
rdf:type bf:Agent (UPENN9960089713503681)
rdf:type bf:Agent (NYU006478990)
rdf:type bf:Agent (UCHICAGO11083926)
rdf:type bf:Agent (DUKE007462893)
rdf:type bf:Agent (UMINNESOTA9974028159401701)
rdf:type bf:Agent (NYU004444413)
rdf:type bf:Agent (NYU004669300)
rdf:type bf:Agent (COLORADOspr874034775)
rdf:type bf:Agent (COLORADOspr761874772)
rdf:type bf:Agent (UCSD1035799440)
rdf:type bf:Agent (UCSD957525481)
rdf:type bf:Agent (UCSD987018834)
rdf:type bf:Agent (UCSD874034775)
rdf:type bf:Agent (UALBERTA6537158)
rdf:type bf:Meeting (CORNELL9477707)
rdf:type bf:Meeting (NYU004372514)
rdf:type bf:Meeting (UCHICAGO11076197)
rdf:type bf:Meeting (DUKE005782867)
rdf:type bf:Meeting (UPENN9962055803503681)
rdf:type bf:Meeting (UPENN9960089713503681)
rdf:type bf:Meeting (NYU006478990)
rdf:type bf:Meeting (UCHICAGO11083926)
rdf:type bf:Meeting (DUKE007462893)
rdf:type bf:Meeting (UMINNESOTA9974028159401701)
rdf:type bf:Meeting (NYU004444413)
rdf:type bf:Meeting (NYU004669300)
rdf:type bf:Meeting (COLORADOspr874034775)
rdf:type bf:Meeting (COLORADOspr761874772)
rdf:type bf:Meeting (UCSD1035799440)
rdf:type bf:Meeting (UCSD957525481)
rdf:type bf:Meeting (UCSD987018834)
rdf:type bf:Meeting (UCSD874034775)
rdf:type bf:Meeting (UALBERTA6537158)



http://share-vde.org/sharevde/rdfBibframe/Contribution/dedf114b-7de7-370a-ad31-86006d39b35c bf:agent (CORNELL9477707)
http://share-vde.org/sharevde/rdfBibframe/Contribution/7f361c85-172a-3799-9a00-c00685948459 bf:agent (CORNELL9477707)
http://share-vde.org/sharevde/rdfBibframe/Contribution/08f7e45c-b68b-3911-be45-7dce131ff42f bf:agent (NYU004372514)
http://share-vde.org/sharevde/rdfBibframe/Contribution/3972d776-1392-3eb3-ba1e-93c98c724f43 bf:agent (NYU004372514)
http://share-vde.org/sharevde/rdfBibframe/Contribution/cc12436b-48d5-316a-815a-025bf0059656 bf:agent (UCHICAGO11076197)
http://share-vde.org/sharevde/rdfBibframe/Contribution/b527b61a-355a-3fd4-aefa-2ffd41f3b78e bf:agent (UCHICAGO11076197)
http://share-vde.org/sharevde/rdfBibframe/Contribution/e629fa14-4e6a-3327-a869-986117928cf0 bf:agent (DUKE005782867)
http://share-vde.org/sharevde/rdfBibframe/Contribution/ac2209c2-d8b1-3348-a26d-e2dc54d3ec21 bf:agent (DUKE005782867)
http://share-vde.org/sharevde/rdfBibframe/Contribution/440fed63-b876-3385-8c95-ff06a911fa7e bf:agent (UPENN9962055803503681)
http://share-vde.org/sharevde/rdfBibframe/Contribution/34a8c766-46db-3e86-882a-62f2bac35cec bf:agent (UPENN9962055803503681)
http://share-vde.org/sharevde/rdfBibframe/Contribution/8cb86d06-21ba-3273-87f8-e704392fafb2 bf:agent (UPENN9960089713503681)
http://share-vde.org/sharevde/rdfBibframe/Contribution/49e74f5d-13d1-3df2-911b-5c9f83ab4078 bf:agent (UPENN9960089713503681)
http://share-vde.org/sharevde/rdfBibframe/Contribution/82cc8419-81ba-3d3c-97fc-49fe3c837d4c bf:agent (NYU006478990)
http://share-vde.org/sharevde/rdfBibframe/Contribution/6120ab75-d56e-30c2-b669-06fc7a699e53 bf:agent (NYU006478990)
http://share-vde.org/sharevde/rdfBibframe/Contribution/973c450a-9b1c-3259-b0f7-421695a125b3 bf:agent (UCHICAGO11083926)
http://share-vde.org/sharevde/rdfBibframe/Contribution/8f3dbc80-4a85-3bd9-a17f-7756b9c4080c bf:agent (UCHICAGO11083926)
http://share-vde.org/sharevde/rdfBibframe/Contribution/2783c554-be04-30c2-aded-12c2380c9cad bf:agent (DUKE007462893)
http://share-vde.org/sharevde/rdfBibframe/Contribution/fa5c7ff1-f82b-314b-90a8-05b062674936 bf:agent (DUKE007462893)
http://share-vde.org/sharevde/rdfBibframe/Contribution/9f287b62-0e98-32dc-8db0-d3ed36074da2 bf:agent (UMINNESOTA9974028159401701)
http://share-vde.org/sharevde/rdfBibframe/Contribution/39a0fc4a-8389-3bff-be52-a4177ad39fc5 bf:agent (UMINNESOTA9974028159401701)
http://share-vde.org/sharevde/rdfBibframe/Contribution/fdd2e7f1-5659-3b36-b59c-6bb818bcc3ea bf:agent (NYU004444413)
http://share-vde.org/sharevde/rdfBibframe/Contribution/f8fd0a6b-46b1-3ade-aef9-cd4d76f3a645 bf:agent (NYU004444413)
http://share-vde.org/sharevde/rdfBibframe/Contribution/d82d6b82-3101-3959-b2c6-0bfa947e041d bf:agent (NYU004669300)
http://share-vde.org/sharevde/rdfBibframe/Contribution/211142cc-2144-3d46-b886-17c5df706b3c bf:agent (NYU004669300)
http://share-vde.org/sharevde/rdfBibframe/Contribution/d8fbc5c7-9190-332e-b863-821394b6b418 bf:agent (COLORADOspr874034775)
http://share-vde.org/sharevde/rdfBibframe/Contribution/88e5c189-3b25-3217-a82d-637f8d3f4784 bf:agent (COLORADOspr874034775)
http://share-vde.org/sharevde/rdfBibframe/Contribution/bfd7861e-6a3b-35e4-b62c-47e5b7f94950 bf:agent (COLORADOspr761874772)
http://share-vde.org/sharevde/rdfBibframe/Contribution/5d4dc6e9-b500-39e6-af6e-58f601e1fbf1 bf:agent (COLORADOspr761874772)
http://share-vde.org/sharevde/rdfBibframe/Contribution/dce61c51-9ba2-33c9-8527-15abb7da4d40 bf:agent (UCSD1035799440)
http://share-vde.org/sharevde/rdfBibframe/Contribution/e96b4d8d-a42a-3e77-8ed8-6297887220e7 bf:agent (UCSD1035799440)
http://share-vde.org/sharevde/rdfBibframe/Contribution/cc2b9696-dc58-3119-b92a-63c7a3f96525 bf:agent (UCSD957525481)
http://share-vde.org/sharevde/rdfBibframe/Contribution/2a430cfe-e892-32f6-9c7c-c6451f5533a4 bf:agent (UCSD957525481)
http://share-vde.org/sharevde/rdfBibframe/Contribution/b7d1c83b-2583-321c-b10d-c3cf83a8c6ce bf:agent (UCSD987018834)
http://share-vde.org/sharevde/rdfBibframe/Contribution/a42a5f1f-4aa8-3541-b841-628ccd0e6a29 bf:agent (UCSD987018834)
http://share-vde.org/sharevde/rdfBibframe/Contribution/e4007d33-facd-33ca-b25c-a18e7b397a9f bf:agent (UCSD874034775)
http://share-vde.org/sharevde/rdfBibframe/Contribution/8e03f257-5533-3164-9e94-20d60ff5bc1c bf:agent (UCSD874034775)
http://share-vde.org/sharevde/rdfBibframe/Contribution/ce499961-f7a7-3699-8a6c-5acc787f52d6 bf:agent (UALBERTA6537158)
http://share-vde.org/sharevde/rdfBibframe/Contribution/35e0340e-9710-3444-868d-404f6fbbe075 bf:agent (UALBERTA6537158)
http://share-vde.org/sharevde/rdfBibframe/Contribution/5766894-1354910 bf:agent (http://share-vde.org)
http://share-vde.org/sharevde/rdfBibframe/Contribution/6033062-1354910 bf:agent (http://share-vde.org)
http://share-vde.org/sharevde/rdfBibframe/Contribution/18606279-1354910 bf:agent (http://share-vde.org)
http://share-vde.org/sharevde/rdfBibframe/Contribution/18921537-1354910 bf:agent (http://share-vde.org)
http://share-vde.org/sharevde/rdfBibframe/Contribution/19646748-1354910 bf:agent (http://share-vde.org)