The following pages link to Algebras, polynomials and programs (Q802882):
Displaying 14 items.
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- Topology, domain theory and theoretical computer science (Q1295216) (← links)
- Computation in polynomial algebras and ideals (Q1342736) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- Polynomial algorithms in computer algebra (Q1912495) (← links)
- Computer algebra and polynomials. Applications of algebra and number theory (Q2339983) (← links)
- Algebra. Polynomials, Galois theory and applications in informatics. Course and corrected exercises (Q2900714) (← links)
- (Q3360502) (← links)
- (Q3707343) (← links)
- (Q4008736) (← links)
- Algebraic polymorphisms (Q5387250) (← links)
- (Q6068932) (← links)
