Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Quasi-metric spaces and point-free geometry
Mathematical Structures in Computer Science
Convergence and fixed points by fuzzy orders
Fuzzy Sets and Systems
Aggregation of asymmetric distances in Computer Science
Information Sciences: an International Journal
Strictly level-decreasing logic programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Multivalued mappings, fixed-point theorems and disjunctive databases
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The average running time of an algorithm as a midpoint between fuzzy sets
Mathematical and Computer Modelling: An International Journal
On aggregation of normed structures
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |