Brendan McKay
Department of Computer Science
Australian National University
Canberra ACT 0200, Australia
bdm at cs dot anu dot edu dot au
Personal page →
Adolfo Piperno
Dipartimento di Informatica
Sapienza Università di Roma
Via Salaria 113, 00198 Rome, Italy
(λxy.pipernoxdiyuniroma1yit) @ . Wikipedia: The Lambda-Calculus →
(λxy.M)PQ = M[P/x][Q/y] "substitute P for x and Q for y in M"
Personal page →
go to
Brendan McKay's nauty page →nauty and Traces
Brendan McKay and Adolfo Piperno
Graph canonical labeling and
automorphism group computation
automorphism group computation