Author:
Baj Fabio,Bruschi Massimo,Zanzi Antonella
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. S.Anantharaman, J.Hsiang, J.Mazali, "SbReve2: A Term Rewriting Laboratory with (AC-Unfailing Completion", in RTA89, LNCS 355, 1989
2. J.Avenhaus, J.Denzinger, J.Muller, "THEOPOGLES — An efficient Theorem Prover based on Rewrite-Techniques", in RTA89, LNCS 355, 1989
3. F.Baj, "Development of an ATP for FOPC+=" (in Italian), Thesis, Comp. Sc. Dep. Milan, 1989
4. F.Baj, G.Ferrari, D.Galli, "Theorem proving in supercomputing", Supercomputing Tools for Science and Engineering — Workshop Proc., 1989
5. M.P.Bonacina, G.Sanna, "KBlab: An Equational Theorem Prover for the Macintosh", in RTA89, LNCS 355, 1989