Peter Buhmann. Disunifikation in modularen Termalgebren. Master's thesis, Universit at des Saarlandes, 1991. In preparation. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....= a domain operator. Then for each w 2 WFFm there exists a = m weakest parameter condition. Furthermore for each formula w the weakest parameter condition is computable. Proof: The proof follows from procedures for solving equational problems in term algebras ( CL89] Mah88] See [Tre91] and [Buh91] for details how to apply these results to the semantics of modules. 2 5 Properties of the New Logic We now consider two basic model theoretic properties of our new logic. Lindstrom ( Lin69] has shown that first order logic is the only logic fulfilling countable compactness and the ....
Peter Buhmann. Disunifikation in modularen Termalgebren. Master's thesis, Universit at des Saarlandes, 1991. In preparation.
First Order Data Types and First Order Logic - Treinen (1991) (Correct)
....= a domain operator. Then for each w 2 WFFm there exists a = m weakest parameter condition. Furthermore for each formula w the weakest parameter condition is computable. Proof: The proof follows from procedures for solving equational problems in term algebras ( CL89] Mah88] See [Tre91] and [Buh91] for details how to apply these results to the semantics of modules. 2 5 Properties of the New Logic We now consider two basic model theoretic properties of our new logic. Lindstrom ( Lin69] has shown that first order logic is the only logic fulfilling countable compactness and the ....
Peter Buhmann. Disunifikation in modularen Termalgebren. Master's thesis, Universit at des Saarlandes, 1991. In preparation.
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