Definability via Kalimullin Pairs
Duration: 22 mins 29 secs
About this item
| Description: |
Soskova, M (Sofia University St. Kliment Ohridski)
Thursday 31 May 2012, 16:30-17:00 |
|---|
| Created: | 2012-06-01 15:52 |
|---|---|
| Collection: | Semantics and Syntax: A Legacy of Alan Turing |
| Publisher: | Isaac Newton Institute |
| Copyright: | Soskova, M |
| Language: | eng (English) |
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.84 Mbits/sec | 311.85 MB | View | Download | |
| WebM | 640x360 | 991.16 kbits/sec | 163.34 MB | View | Download | |
| Flash Video | 484x272 | 568.76 kbits/sec | 93.66 MB | View | Download | |
| iPod Video | 480x270 | 506.03 kbits/sec | 83.39 MB | View | Download | |
| MP3 | 44100 Hz | 125.04 kbits/sec | 20.47 MB | Listen | Download | |
| Auto * | (Allows browser to choose a format it supports) | |||||
