Results 141 to 150 of about 210,329 (194)

First-Class Type Classes

2008
Type Classes have met a large success in Haskell and Isabelle , as a solution for sharing notations by overloading and for specifying with abstract structures by quantification on contexts. However, both systems are limited by second-class implementations of these constructs, and these limitations are only overcomed by ad-hoc extensions to the ...
Matthieu Sozeau, Nicolas Oury
openaire   +1 more source

Predicate classes and promise classes

Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory, 2002
Considering computation trees produced by polynomial time nondeterministic computations one can define a complexity class by any predicate on computation trees, such classes will be called predicate classes. It will be shown that these classes are exactly the principal ideals of the polynomial time many-one reducibility.
openaire   +1 more source

Conjugacy Classes and Class Number

Integers, 2009
AbstractIt is shown that the conjugacy classes of integral matrices with a given irreducible characteristic polynomial is in bijection with the class group of a corresponding order in an algebraic number field.
openaire   +1 more source

Classes of semigroups and classes of sets

Proceedings of the fifth annual ACM symposium on Theory of computing - STOC '73, 1973
@ye A Among all such congruences there is a largest one, and the quotient monoid by this congruence is denoted by SA and is called the syntactic semigroup of A. This semigroup is finite if and only if the set A is recognizable (by a finite automaton). The semigroup SA can then easily be described using the minimal automaton of A.
openaire   +1 more source

A Class with Class

2003
It would be a pleasure to contribute a funny story concerning Walter and myself, and I am sure there would be one or two but since our association goes back 65 years and my memory unfortunately does not, I am at a loss at what to say. Of course, those were not funny or happy days after Hitler had occupied Austria in 1938 and we Jewish students were ...
openaire   +1 more source

ON A CLASS OF UNINORMS

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2002
Paper deals with binary operations in unit interval. We investigate connections between families of triangular norms, triangular conorms and uninorms. Certain structures of uninorms admits only the idempotent case.
Józef Drewniak, Pawel Drygas
openaire   +1 more source

Classes of design — classes of methods — classes of tools

Design Studies, 1991
Abstract It is unrealistic to expect one computer-aided design tool to sufficiently support any one given design process. Yet it is necessary to define new CAD programs that give semantic support in design. To this end, the paper first differentiates classes of design and then attempts to establish relations between the defined classes and ...
Gerhard N. Schmitt, Chen-Cheng Chen
openaire   +1 more source

Classe sociale, classe politique, classe dirigeante

European Journal of Sociology, 1960
Les sociologues ne s'accordent pas sur la definition du terme de classe, soit qu'ils ne l'emploient pas tous pour dèsigner la même réalité soit qu'ils aient une vision autre de la réalité à laquelle il s'applique. Du moins admettent-ils tous que le concept de classe est légitime et que des groupes sociaux méritent d'être appelés classes.
openaire   +1 more source

The Logic of Classes

Logic Journal of IGPL, 2007
Summary: An extension of the quantified propositional calculus (also called second-order propositional calculus, extended propositional calculus, protothetic, or elementary protothetic), obtained by the addition of two binary propositional functions, is put forward as an inheritor of E. Schröder's ``Algebra der Logik''.
openaire   +1 more source

Class and Classes

2022
openaire   +1 more source