Combining equational reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
An algebraic approach for the unsatisfiability of nonlinear constraints
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.00 |