Reconstruction of non-logical axioms from the propositions of multi-agent doxastic logic

By Adamatzky Andrew I  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 27, Iss. 8, 1998-08 ,pp. : 952-958

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Normal form algorithms for extended context-free grammars

By Albert J.   Giammarresi D.   Wood D.  

Theoretical Computer Science, Vol. 267, Iss. 1, 2001-09 ,pp. : 35-47

Elsevier

Access to resources Recommend Favorite

Continuous Domains in Logical Form

By Kegelmann M.  

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

Elsevier

Access to resources Recommend Favorite

On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda

By Schnurr Marco  

Reliable Computing, Vol. 11, Iss. 1, 2005-02 ,pp. : 77-85

Springer Publishing Company

Access to resources Recommend Favorite

Normal forms and syntactic completeness proofs for functional independencies

By Wijesekera D.   Ganesh M.   Srivastava J.   Nerode A.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 365-405

Elsevier

Access to resources Recommend Favorite