Fundamental Proof Methods in Computer Science by David R. Musser and Konstantine

Relational and Algebraic Methods in Computer Science: 20th International Confere

Relational and Algebraic Methods in Computer Science - 9783030887001

Relational and Algebraic Methods in Computer Science - 9783030435196

Relational and Algebraic Methods in Computer Science - 9783642210693

Relational and Algebraic Methods in Computer Science - 9783642333132

Relational and Algebraic Methods in Computer Science - 9783319574172

Relational and Algebraic Methods in Computer Science - 9783030021481