A Framework for Decidable Metrical Logics.

Yoram Hirshfeld, Alexander Moshe Rabinovich

Browse the full ICALP paper archive.