Search Sciweavers | Sciweavers

1174 search results - page 4 / 235

» A Logical Approach to Abstract Algebra

click to vote

DAGSTUHL
2008

107views Software Engineering» more DAGSTUHL 2008»

Recent Results on the Algebraic Approach to the CSP

13 years 11 months ago

Download www.math.mcmaster.ca

Abstract. We describe an algebraic approach to the constraint satisfaction problem (CSP) and present recent results on the CSP that make use of, in an essential way, this algebraic...

Andrei A. Bulatov, Matthew Valeriote

claim paper

Read More »

click to vote

JUCS
2006

126views more JUCS 2006»

Behavioral Institutions and Refinements in Generalized Hidden Logics

13 years 9 months ago

Download www.jucs.org

: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...

Manuel A. Martins

claim paper

Read More »

click to vote

ACS
2006

75views Distributed And Parallel Com...» more ACS 2006»

Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems

13 years 10 months ago

Download voutsadakis.com

cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006

George Voutsadakis

claim paper

Read More »

click to vote

AMAST
1998
Springer

94views Software Engineering» more AMAST 1998»

Abstract Algebraic Logic

14 years 2 months ago

Download www.renyi.hu

Don Pigozzi

claim paper

Read More »