Logic in computer science proceedings - IEEE Annual Symposium on Logic in Computer Science; IEEE annual symposium on logic in computer science (IEEE, 2004)
Keywords: Computational mathematics; Mathematical logic