A Framework for Formalizing Set Theories Based on the Use of Static Set Terms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arnon Avron. A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. 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 87-106, Springer, 2008. [doi]

This author has not been identified. Look up 'Arnon Avron' in Google

runs on WebDSL