- Author:
- Heinrich Hussmann
No abstract available.
Cited By
- Diaconescu R (2013). Institutional semantics for many-valued logics, Fuzzy Sets and Systems, 218, (32-52), Online publication date: 1-May-2013.
Riesco A and Rodríguez-Hortalá J Programming with singular and plural non-deterministic functions Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (83-92)- Lopez-Fraguas F, Rodriguez-Hortala J and Sanchez-Hernandez J A flexible framework for programming with non-deterministicfunctions Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (91-100)
- López-Fraguas F, Rodríguez-Hortalá J and Sánchez-Hernández J Rewriting and call-time choice Proceedings of the 9th international conference on Functional and logic programming, (147-162)
- López Fraguas F, Rodríguez Artalejo M and Vírseda R (2018). A new generic scheme for functional logic programming with constraints, Higher-Order and Symbolic Computation, 20:1-2, (73-122), Online publication date: 1-Jun-2007.
- López-Fraguas F, Rodríguez-Hortalá J and Sánchez-Hernández J A simple rewrite notion for call-time choice semantics Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, (197-208)
- Walicki M Bireachability and final multialgebras Proceedings of the First international conference on Algebra and Coalgebra in Computer Science, (408-423)
- Rodríguez-Artalejo M Functional and constraint logic programming Constraints in computational logics, (202-270)
Index Terms
- Nondeterminism in algebraic specifications and algebraic programs
Recommendations
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Information systems play an important role in characterizing order structures. In this paper, we introduce the notions of the algebraic information system and algebraic L-information system. They are of the same logic-oriented style as the information ...
Predicate and Relation Lifting for Parametric Algebraic Specifications
Relation lifting Hermida, C. and B. Jacobs, Structural induction and coinduction in a fibrational setting, Information and Computation 145 (1998), pp. 107--152] extends an endofunctor F:C→C to a functor Rel(F):Rel(C)→Rel(C), where Rel(C) is a suitable ...
Algebraic structures on double and plane posets
We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf algebras. We also ...