Publication:3614718

zbMath1158.00015MaRDI QIDQ3614718

No author found.

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

00B15: Collections of articles of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

Related Items

Syntactic soundness proof of a type-and-capability system with hidden state