Open Collections

BIRS Workshop Lecture Videos

Banff International Research Station Logo
Featured Collection

BIRS Workshop Lecture Videos

Reactive synthesis via QBF solving Narodytska, Nina

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
File Format
video/mp4
Language
eng
Notes
Author affiliation: University of Toronto
Series
BIRS Workshop Lecture Videos (Banff, Alta)
Date Available
2014-08-06
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/
Aggregated Source Repository
DSpace

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivs 2.5 Canada