DMCA

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

by Florent Jacquemard , Étienne Lozes , Ralf Treinen , Jules Villard
Citations:1 - 0 self