| |
Reviews about "Formal Definitions And Theory (D.3.1)":
|
FIESTA-IoT project: federated interoperable semantic IoT/cloud testbeds and applications
Serrano M., Gyrard A., Tragos E., Nguyen H. WWW 2018 (Companion Proceedings of the Web Conference 2018, Lyon, France, Apr 23-27, 2018) 425-426, 2018. Type: Proceedings
|
Foundations of programming languages (2nd ed.)
Lee K., Springer International Publishing, New York, NY, 2017. 370 pp. Type: Book (978-3-319707-89-1)
|
Sentence entailment in compositional distributional semantics
Sadrzadeh M., Kartsaklis D., Balkır E. Annals of Mathematics and Artificial Intelligence 82(4): 189-218, 2018. Type: Article
|
 FOO: a minimal modern OO calculus
Gerakios P., Fourtounis G., Smaragdakis Y. FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic, Jul 7, 2015) 1-4, 2015. Type: Proceedings
|
Foundations of programming languages
Lee K., Springer Publishing Company, Incorporated, Cham, Switzerland, 2014. 354 pp. Type: Book (978-3-319133-13-3)
|
Dependent type theory for verification of information flow and access control policies
Nanevski A., Banerjee A., Garg D. ACM Transactions on Programming Languages and Systems 35(2): 1-41, 2013. Type: Article
|
Bisimulation for quantum processes
Feng Y., Duan R., Ying M. ACM Transactions on Programming Languages and Systems 34(4): 1-43, 2012. Type: Article
|
more...
|
|
|
|
