DMCA

R^n- and G^n-Logics (1996)

Cached

Download Links

by H El Ene Kirchner , Hélène Kirchner , Peter D. Mosses , Claus Hintermeier , Claus Hintermeier
Venue:Higher-Order Algebra, Logic, and Term Rewriting, volume 1074 of Lecture Notes in Computer Science