Effective Set Membership in Computer Algebra and Beyond

15 years 5 months ago

Download staff.bath.ac.uk

Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effective set membership, starting with Gr

James H. Davenport

Real-time Traffic

AISC 2008 | Algebra Systems | Artificial Intelligence | Effective Set Membership | Set Membership |

claim paper

Related Content

» Contact Relations with Applications

» Computational Complexity of Generators and Nongenerators in Algebra

» Equivalence Problems for Circuits over Sets of Natural Numbers

» Beyond Routing An Algebraic Approach to Network Coding

» On Contemporary Denotational Mathematics for Computational Intelligence

» Generalized Typestate Checking for Data Structure Consistency

» Beyond separation of duty an algebra for specifying highlevel security policies

» Complete Iterativity for Algebras with Effects

» DIMPLE DynamIc Membership ProtocoL for epidemic protocols

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	AISC
Authors	James H. Davenport

Comments (0)

Sciweavers

Effective Set Membership in Computer Algebra and Beyond

AISC 2008 | Algebra Systems | Artificial Intelligence | Effective Set Membership | Set Membership |

Explore & Download

Productivity Tools

Sciweavers