Search Sciweavers | Sciweavers

2145 search results - page 22 / 429

» Lax Logical Relations

143

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

16 years 5 days ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

139

Voted

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 2 days ago

Download www.irisa.fr

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

claim paper

Read More »

135

click to vote

SAS
2004
Springer

84views Formal Methods» more SAS 2004»

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

15 years 12 months ago

Download people.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

123

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 »

128

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers