Journal: Inf. Sci.

Volume 41, Issue 1

1 -- 22Ronald R. Yager. Set-based representations of conjunctive and disjunctive knowledge
23 -- 42Paul Walton Purdom Jr., Cynthia A. Brown. Polynomial-average-time satisfiability problems
43 -- 60Helmut Jürgensen, Dan A. Simovici. Towards an abstract theory of dependency constraints in relational databases
61 -- 76Wen-Tsuen Chen, Lung-Lung Liu. A parallel approach for theorem proving in prepositional logic
77 -- 91Prabir Bhattacharya, N. P. Mukherjee. Fuzzy groups: Some group theoretic analogs. II