Sciweavers

806 search results - page 7 / 162
» Algebraic Structures of B-series
Sort
View
WADT
1998
Springer
13 years 11 months ago
Semantic Constructions for Hidden Algebra
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Corina Cîrstea
ACS
2002
13 years 7 months ago
Categorical Abstract Algebraic Logic: Algebraizable Institutions
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
George Voutsadakis
IJAC
2007
94views more  IJAC 2007»
13 years 7 months ago
Automorphism Groups of Squares and of Free Algebras
We show that certain finite groups do not arise as the automorphism group of the square of a finite algebraic structure, nor as the automorphism group of a finite, 2-generated, ...
Keith A. Kearnes, Steven T. Tschantz
ICDT
2009
ACM
108views Database» more  ICDT 2009»
14 years 8 months ago
A compositional query algebra for second-order logic and uncertain databases
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
Christoph Koch
IJAC
2010
88views more  IJAC 2010»
13 years 2 months ago
Finite Posets and their Representation Algebras
A finite poset (P S) determines a finite dimensional algebra TP over the field over the field F of two elements, with an upper triangular representation. We determine the structure...
Murray Gerstenhaber, Mary Schaps