H. At-Kaci. An algebrc semantics approach to the effective resolution of type equations. TheoreticM Computer Science, 45:293-351, 1986. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Complete And Recursive Feature Theory - Backofen, Smolka (1993) (12 citations) (Correct)
....descriptions in logic programming has been advocated and studied [2, 3, 4, 17, 16] Essentially, feature de scriptions provide a logical version of records, a data structure found in many programming languages. Feature descriptions have been proposed in various forms with various formalizations [1, 13, 9, 15, 5, 10]. We will follow the logical approach pioneered by [15] which accommodates feature descriptions as standard first order formulae interpreted in firstorder structures. In this approach, a semantics for We appreciate discussions with Joachim Niehren and RMf Treinen who read a draft version of ....
H. At-Kaci. An algebrc semantics approach to the effective resolution of type equations. TheoreticM Computer Science, 45:293-351, 1986.
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