| Martin C. Emele and Rmi Zajac. A fix-point semantics for feature type systems. In Proceedings of the 2 nd International Workshop on Conditional and Typed Rewriting Systems, CTRS'90, Montreal, June 1990. |
....to be made and in terms of the space required for the copies themselves. The algorithm has been implemented in Common Lisp and runs on various workstation architectures. It is used as the essential oper ation in the implementation of the interpreter for the Typed Features Structure System (TFS [Emele Zajac 90a, Emele Zajac 90b] The for malism of TFS is based on the notion of inher itance and sets of constraints that categories of the sort signature must satisfy. The formalism supports to express directly principles and generalizations of linguistic theories as they are formulated for example in the ....
Martin C. Emele and Rmi Zajac. A fix-point semantics for feature type systems. In Proceedings of the 2 nd International Workshop on Conditional and Typed Rewriting Systems, CTRS'90, Montreal, June 1990.
....to be made and in terms of the space required for the copies themselves. The algorithm has been implemented in Common Lisp and runs on various workstation architectures. It is used as the essential operation in the implementation of the interpreter for the Typed Features Structure System (TFS [Emele Zajac 90a, Emele Zajac 90b] The formalism of TFS is based on the notion of inheritance and sets of constraints that categories of the sort signature must satisfy. The formalism supports to express directly principles and generalizations of linguistic theories as they are formulated for example in the ....
Martin C. Emele and R'emi Zajac. A fix-point semantics for feature type systems. In Proceedings of the 2 nd International Workshop on Conditional and Typed Rewriting Systems, CTRS'90, Montr'eal, June 1990.
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