Search Sciweavers | Sciweavers

2145 search results - page 22 / 429

» Lax Logical Relations

117

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 10 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

109

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

15 years 10 months ago

Download www.irisa.fr

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

claim paper

Read More »

105

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

Download people.cis.ksu.edu

David A. Schmidt

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

15 years 9 months ago

Download www.ual.es

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

claim paper

Read More »

103

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers