Search Sciweavers | Sciweavers

2138 search results - page 21 / 428

» Logics for the Relational Syllogistic

126

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

16 years 1 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

186

click to vote

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

16 years 23 days ago

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

145

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

16 years 8 days ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

145

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 5 days ago

Download www.irisa.fr

Sébastien Ferré, Olivier Ridoux, Ben...

claim paper

Read More »

141

click to vote

SAS
2004
Springer

84views Formal Methods» more SAS 2004»

Closed and Logical Relations for Over- and Under-Approximation of Powersets

16 years 11 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers