Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types-Reference-Cited by-同舟云学术

Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types

Published:2008-05 Issue:1 Volume:76 Page:60-89
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Kahl Wolfram

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference43 articles.

1. C. Aarts, R.C. Backhouse, P. Hoogendijk, E. Voermans, J. van der Woude, A Relational Theory of Datatypes, Working document, 1992, 387pp. .

2. The B-Book: Assigning Programs to Meanings;Abrial,1996

3. Demonic operators and monotype factors;Backhouse;Math. Structures Comput. Sci.,1993

4. R. Berghammer, T. Hoffmann, B. Leoniuk, Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen, Technical Report 9905, Institut für Informatik und praktische. ∼ Mathematik, Christian-Albrechts-Universität Kiel, 1999 .

5. Prototyping and programming with relations;Berghammer;Electron. Notes Theor. Comput. Sci.,2003

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Finite representability of semigroups with demonic refinement;Algebra universalis;2021-04-06

2. $$\ell r$$-Multisemigroups, Modal Quantales and the Origin of Locality;Relational and Algebraic Methods in Computer Science;2021

3. Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations;Journal of Automated Reasoning;2019-04-08

4. Towards “mouldable code” via nested code graph transformation;Journal of Logical and Algebraic Methods in Programming;2014-03

5. A Mechanised Abstract Formalisation of Concept Lattices;Relational and Algebraic Methods in Computer Science;2014