- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- Reactive synthesis via QBF solving
Open Collections
BIRS Workshop Lecture Videos
Featured Collection
BIRS Workshop Lecture Videos
Reactive synthesis via QBF solving Narodytska, Nina 2014-01-23
mp4
Page Metadata
Item Metadata
Title | Reactive synthesis via QBF solving |
Creator |
Narodytska, Nina |
Publisher | Banff International Research Station for Mathematical Innovation and Discovery |
Date Issued | 2014-01-23 |
Extent | 30 minutes |
Subject |
Mathematics Computer science Mathematical logic and foundations Theoretical computer science |
Type |
Moving Image |
FileFormat | video/mp4 |
Language | eng |
Notes | Author affiliation: University of Toronto |
Series |
BIRS Workshop Lecture Videos (Banff, Alta) |
Date Available | 2014-08-07 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivs 2.5 Canada |
DOI | 10.14288/1.0043909 |
URI | http://hdl.handle.net/2429/49862 |
Affiliation |
Non UBC |
Peer Review Status | Unreviewed |
Scholarly Level | Postdoctoral |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/2.5/ca/ |
AggregatedSourceRepository | DSpace |
Download
- Media
- 48630-201401230957-Narodytska_lrv.mp4 [ 68.48MB ]
- Metadata
- JSON: 48630-1.0043909.json
- JSON-LD: 48630-1.0043909-ld.json
- RDF/XML (Pretty): 48630-1.0043909-rdf.xml
- RDF/JSON: 48630-1.0043909-rdf.json
- Turtle: 48630-1.0043909-turtle.txt
- N-Triples: 48630-1.0043909-rdf-ntriples.txt
- Original Record: 48630-1.0043909-source.json
- Citation
- 48630-1.0043909.ris
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
data-media="{[{embed.selectedMedia}]}"
async >
</script>
</div>

https://iiif.library.ubc.ca/presentation/dsp.48630.1-0043909/manifest