## Logic of Predicates With Explicit Substitutions (1996)

by
Marek A. Bednarczyk

Venue: | Mathematical Foundations of Computer Science 1996, 21st Symposium |

Citations: | 3 - 3 self |