Author： Fernández Raquel Endriss Ulle
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.16, Iss.2, 2007-04, pp. : 121-140
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Studies in Philosophy and Education, Vol. 25, Iss. 1-2, 2006-03 ,pp. :
Access to resources
Recommend
HISTORY AND THEORY, Vol. 54, Iss. 1, 2015-02 ,pp. :
Ethics and Information Technology, Vol. 9, Iss. 1, 2007-03 ,pp. :
Update Semantics of Security Protocols
By Hommersom Arjen Meyer John-jules De vink Erik
Synthese, Vol. 142, Iss. 2, 2004-09 ,pp. :
Utility, Informativity and Protocols
Journal of Philosophical Logic, Vol. 33, Iss. 4, 2004-08 ,pp. :