On Closure Operator for Interval Order Structures

15 years 20 days ago

Download www.cas.mcmaster.ca

A closure operator for interval order structures has been introduced and its basic properties analysed. The operator is an equivalence of 3-closure operator of [11] for stratified order structures.

Ryszard Janicki, Nadezhda Zubkova

Real-time Traffic

Computer Science | FCS 2009 | Interval Order Structures | Operator | Order Structures |

claim paper

» Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

» LanguageBased Comparison of Petri Nets with Black Tokens Pure Names and Ordered Data

» Mining frequent closed rooted trees

» Reachability and the Power of Local Ordering

» An Inflationary Fixed Point Operator in XQuery

» Logics with Rank Operators

» Knowledge Compilation Using Interval Automata and Applications to Planning

» An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	FCS
Authors	Ryszard Janicki, Nadezhda Zubkova

Comments (0)

Sciweavers

On Closure Operator for Interval Order Structures

Computer Science | FCS 2009 | Interval Order Structures | Operator | Order Structures |

Explore & Download

Productivity Tools

Sciweavers