| title: | Intermediate and Modal Logics in Programming Language Theory and Formal Methods |
|---|---|
| reg no: | ETF4155 |
| project type: | Estonian Science Foundation research grant |
| subject: |
1.2. Applied Mathematics 2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Tarmo Uustalu |
| duration: | 01.01.2000 - 31.12.2002 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Marko Kääramees | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 2. | Härmel Nestra | University of Tartu | d.rant | |
| 3. | Jaan Penjam | Institute of Cybernetics at Tallinn Technical University | dir. | |
| 4. | Tarmo Uustalu | Institute of Cybernetics at Tallinn Technical University | v.tead. | |
| 5. | Varmo Vene | University of Tartu | lektor | |