Search Sciweavers | Sciweavers

532 search results - page 18 / 107

» The Logic of Quasi-MV Algebras

click to vote

APAL
2008

79views more APAL 2008»

Intermediate logics and factors of the Medvedev lattice

13 years 10 months ago

Download staff.science.uva.nl

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Andrea Sorbi, Sebastiaan Terwijn

claim paper

Read More »

click to vote

ER
2009
Springer

126views Database» more ER 2009»

A Frame Manipulation Algebra for ER Logical Stage Modelling

14 years 4 months ago

Download www.inf.ufrgs.br

Antonio L. Furtado, Marco A. Casanova, Karin Kooga...

claim paper

Read More »

click to vote

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

14 years 4 months ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

14 years 3 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers