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

      A theory of formal synthesis via inductive learning

      Author(s): ,
      Publication date (Electronic):
      Journal: Acta Informatica
      Publisher: Springer Science and Business Media LLC

      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 references40

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

          On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities

          V N Vapnik, A. Ya. Chervonenkis (1971)
          Article 0 comments Cited 499 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Language identification in the limit

            E Gold (1967)
            Article 0 comments Cited 226 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Applied Linear Regression

              Sanford Weisberg (2005)
              Book 0 comments Cited 185 times – based on 0 reviews
                Bookmark
                All references

                Author and article information

                Journal
                Title: Acta Informatica
                Abbreviated Title: Acta Informatica
                Publisher: Springer Science and Business Media LLC
                ISSN (Print): 0001-5903
                ISSN (Electronic): 1432-0525
                Publication date Created: November 2017
                Publication date (Electronic): February 15 2017
                Publication date (Print): November 2017
                Volume: 54
                Issue: 7
                Pages: 693-726
                Article
                DOI: 10.1007/s00236-017-0294-5
                SO-VID: 801a12de-6228-4b09-97b1-1e3afbc6bfb2
                Copyright © © 2017
                License:

                http://www.springer.com/tdm

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content2,046

                See all similar

                Cited by16

                See all cited by

                Most referenced authors213

                See all reference authors