Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 6 of 8 found articles
 
 
  Optimal Unification of Infinite Sets of Types
 
 
Title: Optimal Unification of Infinite Sets of Types
Author: Jacek Marciniec
Appeared in: Fundamenta informaticae
Paging: Volume 62 (2004) nr. 3-4 pages 395-407
Year: 2004-11-30
Contents: In this paper we focus on the properties of infinite sets of types that have finite substitutional images. Since the number of such images may be infinite, we provide the way of its reduction. Having this done, we apply the new methods in the field of learnability of classical categorial grammars.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 6 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands