1209 search results - page 2 / 242 » Universal Algebra and Computer Science |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 7 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Book
"These notes were written over a period of years as part of an advanced undergraduate/
beginning graduate course on Algebraic Coding Theory at Michigan
State University.&quo...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
Lecture Notes
These are the lecture notes by Madhu Sudan on the course Algebra and Computation, offered in MIT in 1999.
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the new undergraduate science degree program in Computational and Data Sciences (CDS) at George Mason University (Mason), which began offering courses for both major (...