16
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Constructive Boolean circuits and the exactness of timed ternary simulation

      , ,

      Formal Methods in System Design

      Springer Nature

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 26

          • Record: found
          • Abstract: not found
          • Article: not found

          A lattice-theoretical fixpoint theorem and its applications

           Alfred Tarski (1955)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            LCF considered as a programming language

             G.D. Plotkin (1977)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Introduction to Lattices and Order

                Bookmark

                Author and article information

                Journal
                Formal Methods in System Design
                Form Methods Syst Des
                Springer Nature
                0925-9856
                1572-8102
                June 2012
                March 28 2012
                June 2012
                : 40
                : 3
                : 283-329
                Article
                10.1007/s10703-012-0144-6
                1ad5ab07-2dfa-4fcc-9635-2180ba83d964
                © 2012
                Product

                Comments

                Comment on this article