On Deterministic Conditional Rewriting (1997)

by Massimo Marchiori
Venue:MIT LABORATORY FOR COMPUTER SCIENCE
Citations:7 - 0 self