Results 1 to 10 of about 120,385 (116)
Closure Properties of Pattern Languages [PDF]
Lecture Notes in Computer Science, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Markus L Schmid +2 more
exaly +2 more sources
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS [PDF]
The Journal of Symbolic Logic, 2021 AbstractWe study closure properties of measurable ultrapowers with respect to Hamkin’s notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double ...
Philipp Lücke, Sandra Müller
openaire +3 more sources
Closure Properties of Coalgebra Automata [PDF]
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006 We generalize some of the central results in automata theory to the abstraction level of coalgebras. In particular, we show that for any standard, weak pullback preserving functor F, the class of recognizable languages of F -coalgebras is closed under taking unions, intersections and projections.
C.A. Kupke (Clemens), Y. Venema
openaire +3 more sources
Closure properties of constraints
Journal of the ACM, 1997 Many combinatorial search problems can be expressed as “constraint satisfaction problems” and this class of problems is known to be NP-complete in general. In this paper, we investigate the subclasses that arise from restricting the possible constraint types.
Peter Jeavons 0001 +2 more
openaire +3 more sources
Gap-Definability as a Closure Property
Information and Computation, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stephen A. Fenner +2 more
openaire +2 more sources
A Closure Property of Sets of Vectors [PDF]
Transactions of the American Mathematical Society, 1962 Our aim here is to study this property. The exclusion of the vector 0 is not essential in what follows. It turns out that many of the other properties of root systems of Lie algebras depend only on property P and are thus shared by a much wider class of vector systems.
openaire +2 more sources
Closure properties for fitting functors
Monatshefte f�r Mathematik, 1989 Fitting functors have been introduced by \textit{B. Brewster} and the present authors [Math. Z. 182, 359-384 (1983; Zbl 0518.20014)] as a generalization of injectors and radicals for Fitting classes of finite (soluble) groups. This paper provides definitions and properties of certain types of Fitting functors which resemble injectors and radicals for ...
Beidleman, James C., Hauck, Peter
openaire +1 more source
Expressiveness and Closure Properties for Quantitative Languages [PDF]
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009 Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages~$L$ that assign to each word~$w$ a real number~$L(w)$. In the case of infinite words, the value of a run is naturally computed as the maximum, limsup, liminf, limit-average, or discounted-sum of the transition weights. The value
Krishnendu Chatterjee +2 more
openaire +8 more sources
Closure Properties and Witness Reduction
Journal of Computer and System Sciences, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Chain properties of rule closures [PDF]
Formal Aspects of Computing, 1990 Abstract This article introduces a generalisation of the crossed rule approach to the detection of Knuth-Bendix completion procedure divergence. It introduces closure chains, which are special rule closures constructed by means of particular substitution operations and operators, as a suitable formalism for progress in this direction ...
openaire +2 more sources