A Local Graph-rewriting System for Deciding Equality in Sum-product Theories - Sciweavers

10

click to vote

more ENTCS 2007 ...

repositorium.sdum.uminho.pt

Tweet