194
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Finding Unity in Computational Logic

      proceedings-article

      ACM-BCS Visions of Computer Science 2010 (VOCS)

      ACM-BCS Visions of Computer Science 2010

      14 - 16 April 2010

      Computational logic, unity of logic, proof theory, sequent calculus, focused proof systems

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            April 2010
            April 2010
            : 1-13
            Affiliations
            INRIA Saclay – Île-de-France and LIX/École polytechnique

            Route de Saclay, 91128 PALAISEAU Cedex, France
            Article
            10.14236/ewic/VOCS2010.3
            204ce33e-3a60-4673-a7f0-37a321b5bede
            © Dale Miller. Published by BCS Learning and Development Ltd. ACM-BCS Visions of Computer Science 2010, The University of Edinburgh

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            ACM-BCS Visions of Computer Science 2010
            VOCS
            The University of Edinburgh
            14 - 16 April 2010
            Electronic Workshops in Computing (eWiC)
            ACM-BCS Visions of Computer Science 2010
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article