researchr - search publication algebra

researchr

You are not signed in
Sign in
Sign up

22842 publication results matching ' algebra'

Module Algebra
… An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature. Four different models of module algebra are discussed and compared. …
Jan A. Bergstra, Jan Heering, Paul Klint. JACM, 37(2):335-372, April 1990. [doi]
International Workshop on Algebraic and Logic ProgrammingJan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, Volume 343 of Lecture Notes in Computer Science, Springer, Gaussig, GDR, November 1988. [doi]
Schema Evolution and the Relational Algebra
… In this paper we discuss extensions to the conventional relational algebra … change, to historical algebras that support valid time, yielding an algebraic … the useful properties of the conventional algebra. …
L. Edwin McKenzie, Richard T. Snodgrass. is, 15(2):207-232, 1990.
*-algebraMaria Joita. pmh, 45(1-2):81-85, 2002. [doi]
*-AlgebrasHesam Mahzoon. jam, 2014, 2014. [doi]
*-algebrasHirokazu Nishimura. mlq, 36(5):471-479, 1990. [doi]
AlgebraThomas W. Hungerford. Volume 73 of Graduate texts in mathematics, Springer, 1989.
*-algebrasDavid Jekel. jla, 15, 2023. [doi]
*-algebrasDavid Jekel. jla, 15, 2023. [doi]
AlgebraIsrael M. Gelfand, Alexander Shen. Birkhäuser, 1993. [doi]
∗-algebrasDijana Mosic, Dragan S. Djordjevic. amc, 218(9):5383-5390, 2012. [doi]
∗-algebrasDijana Mosic, Dragan S. Djordjevic. amc, 218(7):3934-3941, 2011. [doi]
*-algebrasDijana Mosic, Dragan S. Djordjevic. amc, 265:17-30, 2015. [doi]
BE-algebrasAkbar Rezaei, Arsham Borumand Saeid. ijcisys, 9(1):110-119, 2016. [doi]
Proceedings Second International Workshop on Algebraic Methods in Model-based Software EngineeringFrancisco Duràn, Vlad Rusu, editors, Volume 56 of Electronic Proceedings in Theoretical Computer Science, 2011. [doi]
Algebra of Programming Using Dependent Types
… relation is included in another by algebraic reasoning. We demonstrate how to encode …. A program is coupled with an algebraic derivation from a specification, whose …
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson. mpc 2008: 268-283 [doi]
Expressing OLAP operators with the TAX XML algebra
… in XQuery, having an algebra at one’s disposal is desirable. However, XOLAP approaches and algebras from the literature still largely rely on the relational model … in this paper to express a broad set of OLAP operators with the TAX XML algebra. …
Marouane Hachicha, Hadj Mahboubi, Jerome Darmont. In 3rd International Workshop on Database Technologies for Handling XML Information on the Web (DataX-EDBT 08), Nantes, France. 2008:
Share-where maintenance in visual algebraic specifications
… Algebraic specifications whose signatures (abstract-syntax) have a mapping … in terms of these pictures are introduced as visual algebraic specifications … representations. As is usual for algebraic specifications, we use term rewriting …
Dinesh, T., Susan Uskudarli. In Advances in Computing Science ? ASIAN'97. Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, 1997. [doi]
Algebra of programming in Agda: Dependent types for relational program derivation
… a relational specification to a program by algebraic rules. The program thus obtained … developed a library, AoPA (Algebra of Programming in Agda), to encode relational … is coupled with an algebraic derivation whose correctness is guaranteed by the type …
Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson. JFP, 19(5):545-579, 2009. [doi]
A Generic Operational Metatheory for Algebraic Effects
… across a range of algebraic effects, and incorporates, as instances: errors … semantics for algebraic effects (FoSSaCS 2001) with a primitive “basic …
Patricia Johann, Alex Simpson, Janis Voigtländer. lics 2010: 209-218 [doi]

Sign in or sign up to see more results.

runs on WebDSL