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

Publications Publikationen



Filter:
Author:  Baaz, Matthias

Results 1-1 of 1 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias Propositional quantifiers on Kripke framesPräsentation Presentation2004