Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)
Άλλοι συγγραφείς: | Droste, Manfred (Επιμελητής έκδοσης), Gurevich, Yuri (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Θέματα: |
Παρόμοια τεκμήρια
- Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)
- Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)
- Deduction Dagstuhl-Seminar-Report; 58 08.03.-12.03.93(9310)
- Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)
- "Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)