Modeling and Verifying Concurrent Programs with Finite Chu Spaces

By Du Xu-Tao  

Journal of Computer Science and Technology, Vol. 25, Iss. 6, 2010-11 ,pp. : 1168-1183

Springer Publishing Company

Access to resources Recommend Favorite

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

By Okada M.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 333-396

Elsevier

Access to resources Recommend Favorite

Semantic Category theory and Semantic Intertwine: the anathema of mathematics

By Quinton John St  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 43, Iss. 8, 2014-08 ,pp. : 1183-1192

Emerald Group Publishing Ltd

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

A Defeasible Logic Reasoner for the Semantic Web

By  

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 2, Iss. 1, 2006-01 ,pp. : 1-41

IGI Global_journal

Access to resources Recommend Favorite