Results 251 to 260 of about 983,168 (284)
Some of the next articles are maybe not open access.
Partial higher-order specifications
1991Summary: The classes of extensional models of higher-order partial conditional specifications are studied, with the emphasis on the closure properties of these classes. Further it is shown that any equationally complete inference system for partial conditional specifications may be extended to an inference system for partial higher-order conditional ...
ASTESIANO, EGIDIO, CERIOLI, MAURA
openaire +4 more sources
Parsing Partially Ordered Multisets
International Journal of Foundations of Computer Science, 1997A partially ordered multiset or pomset is a generalization of a string in which the total order has been relaxed to a partial order. Strings are often used as a model for sequential computation; pomsets are a natural model for parallel and distributed computation.
openaire +3 more sources
Admissible Orders on Fuzzy Numbers
IEEE Transactions on Fuzzy Systems, 2022Nicolas Zumelzu +2 more
exaly
Several types of one-sided partial orders in rings
Revista De La Real Academia De Ciencias Exactas, Fisicas Y Naturales - Serie A: Matematicas, 2019Huihui Zhu, Pedro Patricio
exaly
Discovering Frequent Closed Partial Orders from Strings
IEEE Transactions on Knowledge and Data Engineering, 2006Jian Pei, Ke Wang, Jianyong Wang
exaly

