Home

Ludger__Becker



The GraphDB Algebra: Specification of Advanced Data Models with SecondOrder Signature