Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)
Άλλοι συγγραφείς: | Droste, Manfred (Επιμελητής έκδοσης), Gurevich, Yuri (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Θέματα: |
Παρόμοια τεκμήρια
- Limits of information-technological models Dagstuhl-Seminar-Report; 31 10.-14.2.92(9207)
- Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
- Third international workshop on user modeling (UM'92) Dagstuhl-Seminar-Report; 44 10.08.-13.08.92(9233)
- Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
- Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)