Unification for Quantified Formula

Publication Year:
1993
Usage 62
Downloads 49
Abstract Views 13
Repository URL:
http://repository.cmu.edu/philosophy/233
Author(s):
Sieg, Wilfried; Kauffmann, Barabara
Tags:
Philosophy
report description
Wilfred Sieg and Barbara Kauffmann. Unification for Quantified Formula.