For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
27
views
15
references
 Top references
cited by
1
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,028
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Mechanizing Complemented Lattices Within Mizar Type System

      Author(s):
      Publication date (Electronic):
      Journal: Journal of Automated Reasoning
      Publisher: Springer Nature America, Inc

      Read this article at

      ScienceOpenPublisher
          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 references15

          • Record: found
          • Abstract: not found
          • Book: not found

          Isabelle/HOL

          Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)
          Book 0 comments Cited 207 times – based on 0 reviews
            • Record: found
            • Abstract: not found
            • Article: not found

            ATP and Presentation Service for Mizar Formalizations

            Geoff Sutcliffe, Piotr Rudnicki, Josef Urban (2013)
            Article 0 comments Cited 24 times – based on 0 reviews     Review now
              • Record: found
              • Abstract: not found
              • Book: not found

              Lattice Theory: Foundation

              George Grätzer (2011)
              Book 0 comments Cited 20 times – based on 0 reviews
                All references

                Author and article information

                Journal
                Title: Journal of Automated Reasoning
                Abbreviated Title: J Autom Reasoning
                Publisher: Springer Nature America, Inc
                ISSN (Print): 0168-7433
                ISSN (Electronic): 1573-0670
                Publication date Created: October 2015
                Publication date (Electronic): June 18 2015
                Publication date (Print): October 2015
                Volume: 55
                Issue: 3
                Pages: 211-221
                Article
                DOI: 10.1007/s10817-015-9333-5
                SO-VID: 0fa7375a-92e8-45e3-a820-1c4208f5898f
                Copyright © © 2015
                History

                Data availability:

                Comments

                Comment on this article

                Related Documents Log