Repository | People

150029

References

Grigore Roşu

Complete categorical deduction for satisfaction as injectivity

2006

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link