Searching for "Decidable Fragments of Many-Sorted Logic." – sorted by Relevance.
-
Decidable Fragments of Many-Sorted Logic
- Decidable Fragments of Many-Sorted Logic Aharon Abadi, Alexander Rabinovich, and Mooly Sagiv
- Add To MetaCart

