3rd International Moscow-Vienna worksop on Logic and Computation
Event name
3rd International Moscow-Vienna worksop on Logic and Computation
Event type
Event for scientific audience
Start date
31-05-2004
End date
01-06-2004
Location
Moskau, Russland
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-7 of 7 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Beckmann, Arnold | Abstract measures for low level complexity | Präsentation Presentation | 2004 | |
| 2 | Iemhoff, Rosalie | Basic Intuitionistic Logic of Proofs | Präsentation Presentation | 2004 | |
| 3 | Preining, Norbert | Countable orderings and continous embeddability | Präsentation Presentation | 2004 | |
| 4 | Metcalfe, George | Hypersequents and fuzzy logic | Präsentation Presentation | 2004 | |
| 5 | Terwijn, Sebastiaan A. | Logic and Medvedev degrees | Präsentation Presentation | 2004 | |
| 6 | Beckmann, Arnold | On universal measures of complexity | Präsentation Presentation | 2004 | |
| 7 | Baaz, Matthias | Propositional quantifiers on Kripke frames | Präsentation Presentation | 2004 |