Henning Herrestad, Formal Theories of Rights

Author： Sartor G.  

Publisher： Springer Publishing Company

ISSN： 0924-8463

Source： Artificial Intelligence and Law, Vol.8, Iss.1, 2000-01, pp. : 93-100

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A formal nethod (a networked formal method)

By Breuer Peter  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 255-268

Springer Publishing Company

Access to resources Recommend Favorite

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information: Lecture Notes in Computer Science, vol. 5363, Springer, New York, 2009, vii+269, $ 64.95, ISBN 978-3-642-00658-6

By Primiero Giuseppe  

Minds and Machines, Vol. 21, Iss. 1, 2011-02 ,pp. : 119-122

Springer Publishing Company

Access to resources Recommend Favorite

The meaning of “formal”: from weak to strong formal methods

By Wolper Pierre  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 6-8

Springer Publishing Company

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

WHAT IS “FORMAL” ANALYSIS?

By LEAF MURRAY  

Cybernetics and Systems, Vol. 35, Iss. 2-3, 2004-03 ,pp. : 129-145

Taylor & Francis Ltd

Access to resources Recommend Favorite