Search Results - abstracts and (automatic OR automation) computability and recursion theory

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    Grammar semantics, analysis and parsing by abstract interpretation by Cousot, Patrick, Cousot, Radhia

    ISSN: 0304-3975, 1879-2294
    Published: Oxford Elsevier B.V 14.10.2011
    Published in Theoretical computer science (14.10.2011)
    “…We study abstract interpretations of a fixpoint protoderivation semantics defining the maximal derivations of a transitional semantics of context-free grammars akin to pushdown automata…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Recursion leads to automatic variable blocking for dense linear-algebra algorithms by Gustavson, F. G.

    ISSN: 0018-8646, 0018-8646, 2151-8556
    Published: Armonk, NY International Business Machines 01.11.1997
    Published in IBM journal of research and development (01.11.1997)
    “…Gustavson describes some modifications of the LAPACK dense linear-algebra algorithms using recursion, which leads to automatic variable blocking…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Formalization of the Computational Theory of a Turing Complete Functional Language Model by Ramos, Thiago Mendonça Ferreira, Almeida, Ariane Alves, Ayala-Rincón, Mauricio

    ISSN: 0168-7433, 1573-0670
    Published: Dordrecht Springer Netherlands 01.11.2022
    Published in Journal of automated reasoning (01.11.2022)
    “…This work presents a formalization in PVS of the computational theory for a computational model given as a class of partial recursive functions called PVS0…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    Directed Binary Hierarchies and Directed Ultrametrics by Lerman, I-C., Kuntz, P.

    ISSN: 0176-4268, 1432-1343
    Published: New York Springer-Verlag 01.10.2011
    Published in Journal of classification (01.10.2011)
    “…Directed binary hierarchies have been introduced in order to give a graphical reduced representation of a family of association rules. This type of structure…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Structural Classification Analysis of Three-Way Dissimilarity Data by Vicari, Donatella, Vichi, Maurizio

    ISSN: 0176-4268, 1432-1343
    Published: New York Springer-Verlag 01.08.2009
    Published in Journal of classification (01.08.2009)
    “…The paper presents a methodology for classifying three-way dissimilarity data, which are reconstructed by a small number of consensus classifications of the…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    On Safety of Unary and Nonunary IFP Operators by Dudakov, S. M.

    ISSN: 0146-4116, 1558-108X
    Published: Moscow Pleiades Publishing 01.12.2019
    Published in Automatic control and computer sciences (01.12.2019)
    “… Therefore, the problem under investigation is directly related to database theory. The problem arises from the fact that if recursion and universe relations, e.g…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    Proof technology and computation by Schwichtenberg, Helmut, Spies, Katharina

    ISBN: 1586036254, 9781586036256
    Published: Amsterdam ; Tokyo IOS Press 2006
    “…Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and…”
    Get full text
    eBook Book
    Save to List
    Saved in:

Search Tools: