| G.B. Penn. The Algebraic Structure of Attributed Type Signatures. PhD thesis, School of Comp.Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA, 2000. |
....is appropriate. This is called unique feature introduction, and for feature f, its introducing type is called Intro(f) Until recently, it was generally believed that Prolog systems that work with typed feature structures must meta interpret uni cation and SLD resolution over them. As shown by Penn [2000], when unique feature introduction is assumed, every statically typable set of appropriateness conditions admits a Prolog term encoding of its typed feature structures, thus reducing feature structure uni cation to Prolog uni cation in the underlying Warren abstract machine. When it is not ....
G. Penn. The Algebraic Structure of Attributed Type Signatures. PhD thesis, Carnegie Mellon University, 2000.
No context found.
G.B. Penn. The Algebraic Structure of Attributed Type Signatures. PhD thesis, School of Comp.Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA, 2000.
No context found.
Gerald Penn. The algebraic structure of attributed type signatures. PhD thesis, School of Computer Science, Carnegie Mellon University, 2000. The page numbers refer to the on-line PostScript version.
No context found.
G. Penn. The Algebraic Structure of Attributed Type Signatures. PhD thesis, School of Computer Science, Carnegie Mellon University, 2000.
No context found.
Gerald B. Penn. The Algebraic Structure of Attributed Type Signatures. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA, 2000. http://www.cs.cmu.edu/~gpenn/cards/thesis.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC