Cited By
View all- Cherng HHannum ELu C(2014)ChinaThe Palgrave Handbook of Race and Ethnic Inequalities in Education10.1057/9781137317803_8(205-237)Online publication date: 2014
The first systematic complexity-theoretic study of constraintswas carried out by T.J. Schaefer in 1978 with a paper on Booleanconstraint satisfaction problems (CSPs). This volume opens with asurvey of Boolean constraints by N. Creignou and H. ...
The study of probabilistically verifiable proofs originated in the mid 1980s with the introduction of Interactive Proof Systems (IPs). The primary focus of research in this area in the '80s has been twofold: the role of zero-knowledge interactive proofs ...
On December 5, 1997, a small conference was held at McGill on the occasion of Jim Lambek's 75th birthday. Subsequently it was decided to publish two volumes of papers contributed in his honour to mark this occasion: this issue of Mathematical Structures ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in