Some Results on the Expressive Power and Complexity of LSCs

David Harel, Shahar Maoz, Itai Segall. Some Results on the Expressive Power and Complexity of LSCs. In Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, editors, Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Volume 4800 of Lecture Notes in Computer Science, pages 351-366, Springer, 2008. [doi]

Abstract

Abstract is missing.