Search Sciweavers | Sciweavers

2012 search results - page 24 / 403

» CORAL - Control, Relations and Logic

111

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 »

107

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

Download people.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

101

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

A Relational Algebra for Functional Logic Deductive Databases

15 years 10 months ago

Download www.ual.es

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

claim paper

Read More »

104

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

Download www.cis.uni-muenchen.de

Hans Leiß

claim paper

Read More »

100

click to vote

ISMIS
1991
Springer

89views Artificial Intelligence» more ISMIS 1991»

A Logic of Relative Desire (Preliminary Report)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers