Výsledky vyhľadávania - abstract and (axiomatic OR automatic) computability and recursion theory*

An axiomatic study of Majority-rule (+ ) and associated consensus functions on hierarchies Autor Dong, Jianrong, Fernández-Baca, David, McMorris, F.R., Powers, Robert C.

“…Consensus trees have been used routinely in systematic biology for over 30 years with the majority-rule consensus tree among the most popular. In this paper we…”
Získať plný text

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

“…Gustavson describes some modifications of the LAPACK dense linear-algebra algorithms using recursion, which leads to automatic variable blocking…”
Získať plný text

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

“…Directed binary hierarchies have been introduced in order to give a graphical reduced representation of a family of association rules. This type of structure…”
Získať plný text

A Characterization of Majority Rule for Hierarchies Autor McMorris, Fred R., Powers, Robert C.

“… In this note, a new axiomatic characterization is proved for this consensus method on hierarchies…”
Získať plný text

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

“…The paper presents a methodology for classifying three-way dissimilarity data, which are reconstructed by a small number of consensus classifications of the…”
Získať plný text

CCS with Hennessy's merge has no finite-equational axiomatization Autor Aceto, Luca, Fokkink, Wan, Ingólfsdóttir, Anna, Luttik, Bas

“…This paper confirms a conjecture of Bergstra and Klop's from 1984 by establishing that the process algebra obtained by adding an auxiliary operator proposed by Hennessy in 1981 to the recursion free…”
Získať plný text

A game-semantic model of computation Autor Yamada, Norihiro

“…, higher-order computation, in a more abstract fashion. As immediate corollaries, some of the well-known theorems in computability theory such as the smn theorem and the first recursion theorem are generalized…”
Získať plný text

A Tour Through Mathematical Logic Autor Wolf, Robert S.

“… It contains chapters covering elementary logic, basic set theory, recursion theory, Gödel’s (and others’) incompleteness theorems, model theory, independence results in set theory, nonstandard analysis, and constructive mathematics…”
Získať plný text

A Game-Semantic Model of Computation Autor Yamada, Norihiro

“…, higher-order computation, in a more abstract fashion. As immediate corollaries, some of the well-known theorems in computability theory such as the smn-theorem and the first recursion theorem are generalized…”
Získať plný text

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

“…Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and…”
Získať plný text

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

“… 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…”
Získať plný text

Definibilitas Minimaximi Autor Duvalier, Matthew

“…, not with computability, but with definability. Consequently, this is a dissertation in recursion theory.In the course of his investigation the author was led to the earliest and most significant theorem of game theory, namely: von…”
Získať plný text

Reverse mathematics, countable and uncountable: a computational approach Autor Shore, Richard A.

“…Abstract Reverse mathematics analyzes the complexity of mathematical statements in terms of the strength of axiomatic systems needed to prove…”
Získať plný text