Some characteristics of strong innermost normalization

By Krishna Rao  

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 141-164

Elsevier

Access to resources Recommend Favorite

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus

By Gørtz I.L.  

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 253-285

Springer Publishing Company

Access to resources Recommend Favorite

Strong normalization in some temporal substructural logics

By Kamide Norihiro  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 1-24

Oxford University Press

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

The adjacent strong edge chromatic number of P₄ ∨ K_m,n and C₅ ∨ K_m,n

By Sun Zongjian   Chen Jing   Chen Qian  

International Journal of Modelling, Identification and Control, Vol. 16, Iss. 3, 2012-07 ,pp. : 297-300

Inderscience Publishers

Access to resources Recommend Favorite