Sciweavers

1537 search results - page 85 / 308
» On sets not belonging to algebras
Sort
View
CORR
2007
Springer
132views Education» more  CORR 2007»
14 years 12 months ago
Automatic Structures: Richness and Limitations
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
Bakhadyr Khoussainov, André Nies, Sasha Rub...
ENTCS
2007
111views more  ENTCS 2007»
14 years 12 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
JSC
2007
71views more  JSC 2007»
14 years 11 months ago
Rational invariants of a group action. Construction and rewriting
Geometric constructions applied to a rational action of an algebraic group lead to a new algorithm for computing rational invariants. A finite generating set of invariants appear...
Evelyne Hubert, Irina A. Kogan
SIGMOD
2002
ACM
141views Database» more  SIGMOD 2002»
14 years 11 months ago
Bringing Order to Query Optimization
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
SBMF
2010
Springer
164views Formal Methods» more  SBMF 2010»
14 years 6 months ago
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Io...