Login / Signup

Algebraic specified processes and enumerable models.

Andrei S. Morozov
Published in: Conference on Computer Logic (1988)
Keyphrases