ELAN - A logical framework based on computational systems

Author： Borovansky P. Kirchner C. Kirchner H. Moreau P.-E. Vittek M.

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.4, Iss.1, 2004-01, pp. : 1-16

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 logical framework for reasoning about delegation policies in workflow management systems

By Gaaloul Khaled

International Journal of Information and Computer Security, Vol. 4, Iss. 4, 2011-01 ,pp. : 365-388

Inderscience Publishers

Access to resources Recommend Favorite

A Computational Framework for Simulation of Underwater Robotic Vehicle Systems

By McMillan S.

Autonomous Robots, Vol. 3, Iss. 2, 1996-06 ,pp. : 253-268

Springer Publishing Company

Access to resources Recommend Favorite

Rewriting Logic as a Logical and Semantic Framework

By Marti-Oliet N. Meseguer J.

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-36

Elsevier

Access to resources Recommend Favorite

Logical systems for structured specifications

By Borzyszkowski T.

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 197-245

Elsevier

Access to resources Recommend Favorite

Modeling and optimization in complex systems based on computational intelligence

By Su Yingying Li Taifu Wang Debiao Liu Xinghua

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 41, Iss. 9, 2012-10 ,pp. : 1235-1243

Emerald Group Publishing Ltd

Access to resources Recommend Favorite