Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference20 articles.
1. Aït-Kaci H., Podelski A., Smolka G.: ‘A feature constraint system for logic programming with entailment’. Theoretical Computer Science 122, 263–283 (1994)
2. Backofen R.: ‘A complete axiomatization of a theory with feature and arity constraints’. J. Logic Programming 24(1,2), 37–71 (1995)
3. Backofen R., Smolka G.: ‘A complete and recursive feature theory’. Theoretical computer science 146, 243–268 (1995)
4. Burris, S., and H.P. Sankappanavar, A course in Universal Algebra, Millenium Edition, 2000, Xvi + 315 pp.
5. Chang, C.C., and H. J. Keisler, Model Theory, Studies in Logic Vol. 73, North- Holland, Amsterdam, 1990, Xvi + 650 pp.