16 search results - page 4 / 4 » tapsoft 1997 |
TAPSOFT
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...