Descriptor systems approximation

By Amel B.H. Adamou-Mitiche  

International Journal of General Systems, Vol. 33, Iss. 1, 2004-02 ,pp. : 99-110

Taylor & Francis Ltd

Access to resources Recommend Favorite

Weak normalization implies strong normalization in a class of non-dependent pure type systems

By Barthe G.   Hatcliff J.   Sorensen M.H.  

Theoretical Computer Science, Vol. 269, Iss. 1, 2001-10 ,pp. : 317-361

Elsevier

Access to resources Recommend Favorite

Logic of Change: Semantics of Object Systems with Active Relations

By Bider I.  

Automated Software Engineering, Vol. 7, Iss. 1, 2000-03 ,pp. : 9-37

Springer Publishing Company

Access to resources Recommend Favorite

Semantics and strong sequentiality of priority term rewriting systems

By Sakai M.   Toyama Y.  

Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. : 87-110

Elsevier

Access to resources Recommend Favorite

Understanding the mismatch combinator in chi calculus

By Fu Y.   Yang Z.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 779-830

Elsevier

Access to resources Recommend Favorite