Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)

• Other Authors: Droste, Manfred (Editor), Gurevich, Yuri (Editor)
• Format: Book
• Language: English
• Subjects: COMPUTER MODELING; IBFI; PROGRAMMING LANGUAGES; SEMINAR REPORT