scientific article; zbMATH DE number 5526845

zbMATH Open1158.00015MaRDI QIDQ3614718FDOQ3614718

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

Title of this publication is not available (Why is that?)

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)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Syntactic soundness proof of a type-and-capability system with hidden state
• Title not available (Why is that?)
• Title not available (Why is that?)

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)