Login / Signup

Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic.

Robert L. Constable
Published in: 25th Anniversary of INRIA (1992)
Keyphrases