Yazar
Hildebrandt, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On
Yazar
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
Format:
Electronic Resources
Alıntı:
a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security
View Other Search Results
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Challenge -- Model Completeness, Covers and Superposition -- A Tableaux Calculus for Default Intuitionistic
Arama Sonuçlarını Sınırlandır
Daraltılmış: