Relation algebras for reasoning about time and space (1994)

Cached

Download Links

by Roger D. Maddux
Venue:Algebraic Methodology and Software Technology, Enschede 1993, Workshops in Computing Series
Citations:5 - 0 self