Search Sciweavers | Sciweavers

8228 search results - page 67 / 1646

» Structural Logical Relations

195

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 1 months ago

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

160

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

16 years 23 days ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

154

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 20 days ago

Download www.irisa.fr

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

claim paper

Read More »

155

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 14 days ago

Download people.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

139

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers