scientific article; zbMATH DE number 5526845

MaRDI QIDQ3614718zbMATH OpenFDO

Authors

Publication date 9 March 2009

Full work available at URL http://elib.mi.sanu.ac.rs/pages/browse_issue.php?db=zr&rbr=20

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(5)

• scientific article; zbMATH DE number 1926652 (Why is no real title available?)
• scientific article; zbMATH DE number 1361527 (Why is no real title available?)
• Syntactic soundness proof of a type-and-capability system with hidden state
• scientific article; zbMATH DE number 52096 (Why is no real title available?)
• scientific article; zbMATH DE number 4114620 (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 Q3614718)