Fork algebras

Authors:
Armando Haeberer;Marcelo Frias;Gabriel Baum;Paulo Veloso
Affiliations:
-;-;-;-
Venue:
Relational methods in computer science
Year:
1997

Citing 0
Cited 2

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Electronic Notes in Theoretical Computer Science (ENTCS)
Semigroupoid interfaces for relation-algebraic programming in haskell

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

Quantified Score

Hi-index	0.00

Visualization

Abstract