Logic of Predicates With Explicit Substitutions (1996)

Cached

Download Links

by Marek A. Bednarczyk
Venue:Mathematical Foundations of Computer Science 1996, 21st Symposium
Citations:3 - 3 self