Concepedia

Completeness of many-sorted equational logic revisited.

Peter Padawitz, Martin Wirsing

Bulletin of the European Association for Theoretical Computer Science · 1984 · 14 citations · 0 references

Concepts