×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [atomic term]
Symbolic Logic for Complexity- theoretic Model of Security Protocols Anupam Datta Ante Derek John C. Mitchell Vitaly Shmatikov Mathieu Turuani May 5, 2005
218 views
Slides 01 1 Type-Free λ-Calculus The λ-calculus is a family of prototype programming languages invented by the logician, Alonzo Church, in the 1930's
223 views
Computational Soundness for PCL Dilsun Kaynar Carnegie Mellon University Foundations of Security and Privacy October 11, 2007
214 views
9/17/2015Hilbertův kalkul1 Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu
220 views
Logika a log. p rogramov ání Důkazové kalkuly, Kalkul Hilbertova typu (12. přednáška)
35 views
1/5/2016Hilbertův kalkul1 Lecture 12 Hilbert-like calculus
216 views
Logika a log. p rogramov ání Principy důkazových kalkulů Přirozená dedukce (11.přednáška)
23 views