DMCA

Tractable Transformations from Modal Provability Logics into First-Order Logic (1999)

Cached

Download Links

by Stéphane Demri , Rajeev Goré
Venue:OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Citations:4 - 1 self