scientific article; zbMATH DE number 1401971

MaRDI QIDQ4937635zbMATH OpenFDO

Authors

Publication date 16 March 2000

zbMATH Keywords

Computer systemsKyoto (Japan)ProceedingsSymposiumType theory

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1313935
• scientific article; zbMATH DE number 47007
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings
• scientific article; zbMATH DE number 1183235
• scientific article; zbMATH DE number 42059

Cited in

(2)

• scientific article; zbMATH DE number 1313935 (Why is no real title available?)
• scientific article; zbMATH DE number 1793836 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4937635)