Pages that link to "Item:Q679339"
From MaRDI portal
The following pages link to A non-standard temporal deductive database system (Q679339):
Displaying 5 items.
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- N system: A natural temporal deduction system (Q1123186) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
- (Q4518430) (← links)