TY  - BOOK
AU  - Domolki,B.
AU  - Gergely,Tamas
ED  - Bolyai Janos Mathematikai Tarsulat.
ED  - Colloquium on Mathematical Logic in Computer Science
TI  - Mathematical logic in computer science
SN  - 0444854401
U1  - 519.4 19
PY  - 1981///
CY  - Amsterdam, New York
PB  - North-Holland Publ. Co.
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society
ER  -