Search Sciweavers | Sciweavers

532 search results - page 18 / 107

» The Logic of Quasi-MV Algebras

132

click to vote

APAL
2008

79views more APAL 2008»

Intermediate logics and factors of the Medvedev lattice

15 years 6 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 »

106

Voted

ER
2009
Springer

126views Database» more ER 2009»

A Frame Manipulation Algebra for ER Logical Stage Modelling

16 years 19 days ago

Download www.inf.ufrgs.br

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

claim paper

Read More »

121

click to vote

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

16 years 18 days ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

112

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

15 years 11 months ago

Download www.ual.es

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

claim paper

Read More »

123

click to vote

RELMICS
2009
Springer

114views Theoretical Computer Science» more RELMICS 2009»

Towards Algebraic Separation Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers