Unification in commutative theories
Journal of Symbolic Computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
On solving equations and disequations
Journal of the ACM (JACM)
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Powersets of terms and composite monads
Fuzzy Sets and Systems
On Logic with Fuzzy and Rough Powerset Monads
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Composing Partially Ordered Monads
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Early diagnosis of cognitive disorder based on ground categories for decision support structures
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Determinisation of relational substitutions in ordered categories with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Partially ordered monads and rough sets
Transactions on rough sets VIII
Adding fuzziness to terms and powerobjects using a monadic approach
Fuzzy Sets and Systems
| Hi-index | 0.01 |