Search Sciweavers | Sciweavers

236 search results - page 4 / 48

» Handlers of Algebraic Effects

click to vote

AISC
2008
Springer

97views Artificial Intelligence» more AISC 2008»

Effective Set Membership in Computer Algebra and Beyond

14 years 11 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 effec...

James H. Davenport

claim paper

Read More »

click to vote

AML
2010

99views more AML 2010»

Effectively inseparable Boolean algebras in lattices of sentences

14 years 9 months ago

Download staff.science.uva.nl

We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...

V. Yu. Shavrukov

claim paper

Read More »

click to vote

CCA
2009
Springer

159views Theoretical Computer Science» more CCA 2009»

Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

15 years 1 months ago