#### DMCA

## Dynamic Algebras as a well-behaved fragment of Relation Algebras (1990)

### Cached

### Download Links

- [boole.stanford.edu]
- [boole.stanford.edu]
- DBLP

### Other Repositories/Bibliography

by
Vaughan Pratt

Venue: | In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425 |

Citations: | 43 - 5 self |