Hyperformulae, Parallel Deductions and Intersection Types

By Capitani B.   Loreti M.   Venneri B.  

Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 2, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Full Intersection Types and Topologies in Lambda Calculus

By Ghilezan S.  

Journal of Computer and System Sciences, Vol. 62, Iss. 1, 2001-02 ,pp. : 1-14

Academic Press

Access to resources Recommend Favorite

The intersection of retracts of A *

By Anderson J.A.  

Theoretical Computer Science, Vol. 237, Iss. 1, 2000-04 ,pp. : 439-445

Elsevier

Access to resources Recommend Favorite

Gamut Intersection for Image Retrieval

By Ouglov Andrei   Alsam Ali   Hjelsvold Rune  

Conference on Colour in Graphics, Imaging, and Vision, Vol. 2006, Iss. 1, 2006-01 ,pp. : 266-270

Society for Imaging Science and Technology

Access to resources Recommend Favorite

Exclusion-intersection encryption

By Chow Sherman S.M.   Yiu Siu-Ming  

International Journal of Security and Networks, Vol. 6, Iss. 2-3, 2011-11 ,pp. : 136-146

Inderscience Publishers

Access to resources Recommend Favorite