A Framework for Decidable Metrical Logics

Yoram Hirshfeld, Alexander Moshe Rabinovich. A Framework for Decidable Metrical Logics. In JirĂ­ Wiedermann, Peter van Emde Boas, Mogens Nielsen, editors, Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Volume 1644 of Lecture Notes in Computer Science, pages 422-432, Springer, 1999. [doi]

Authors

Yoram Hirshfeld

This author has not been identified. Look up 'Yoram Hirshfeld' in Google

Alexander Moshe Rabinovich

This author has not been identified. Look up 'Alexander Moshe Rabinovich' in Google