2 citations found. Retrieving documents...
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.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Unification With Lazy Non-Redundant Copying - Martin Emele Project (1991)   (16 citations)  Self-citation (Emele)   (Correct)

....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.


Unification With Lazy Non-Redundant Copying - Emele (1991)   (16 citations)  Self-citation (Emele)   (Correct)

....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