Searching for "Universal Algebra and Computer Science." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts
- …: 08A70 [Algebraic structures ]: Applications of universal algebra in computer science; 68Q65 [Theory…
- Cited by 1 (0 self) – Add To MetaCart
-
Approximability of integer programming with generalised constraints
- … for all maximal constraint languages. These classes of languages are well-studied in universal algebra…
- Cited by 1 (1 self) – Add To MetaCart
-
Centrum voor Wiskunde en Informatica
- … Faculty of Mathematics and Computer Science University of Amsterdam Kruislaan 403 1098 SJ Amsterdam janb…
- Add To MetaCart
-
A Calculus for Access Control in Distributed Systems
- …-behaved Fragment of Relation Algebras. In Algebraic Logic and Universal Algebra in Computer Science, Springer…
- Cited by 255 (15 self) – Add To MetaCart
-
Some Varieties of Equational Logic (Extended Abstract), Algebra
- … of Informatics, University of Edinburgh, UK. The application of ideas from universal algebra to computer science…
- Cited by 1 (1 self) – Add To MetaCart
-
Algebras versus coalgebras
- … in universal algebra and computer science the interested reader may consult Gumm’s articles [23, 24]. To avoid…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
