1st Florence-Vienna Workshop on Logic and Computation
Event name
1st Florence-Vienna Workshop on Logic and Computation
Event type
Event for scientific audience
Start date
29-01-2004
Location
Florence, Italy
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 | Preining, Norbert | An overview on countable Goedel logics | Präsentation Presentation | 2004 | |
2 | Ciabattoni, Agata | Analytic calculi for monoidal t-norm based logic | Präsentation Presentation | 2004 | |
3 | Goldstern, Martin | Complete and precomplete set of operations | Präsentation Presentation | 2004 | |
4 | Iemhoff, Rosalie | Provability logic constructive theories | Präsentation Presentation | 2004 | |
5 | Baaz, Matthias | Quantified propositional intuitionistic logic with linear Kripke frames | Präsentation Presentation | 2004 | |
6 | Winkler, Reinhard | Representation of GMV-algebras by means of real valued function | Präsentation Presentation | 2004 | |
7 | Terwijn, Sebastiaan A. | Uniformly enumerable families | Präsentation Presentation | 2004 |