On Existentially Quantified Conjunctions of Atomic Formulae of L+
D. Cantone‚ A. Cavarra and E. Omodeo
Details
| Book Title |
FTP97: International Workshop on First Order Theorem Proving |
| Month |
NOV |
| Note |
RISC−Linz Report Series‚ No. 97−50‚ Johannes Kepler Universitaet Linz |
| Year |
1997 |
Links
Related pages
|
People |