مرکز منطقه ای اطلاع رساني علوم و فناوري - An Algorithm for Minimal Insertion in a Type Lattice

Title of article :

An Algorithm for Minimal Insertion in a Type Lattice

Author/Authors :

Petko Valtchev، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

From page :

To page :

Keywords :

type lattices • lattice insertion • Dedekind?McNeille completion

Journal title :

Computational Intelligence

Serial Year :

2003

Journal title :

Computational Intelligence

Record number :

311211

Link To Document :