Search Sciweavers | Sciweavers

2432 search results - page 33 / 487

» Cryptographic logical relations

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

Download www.ual.es

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

claim paper

Read More »

click to vote

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

15 years 2 months ago

Download www.cis.uni-muenchen.de

Hans Leiß

claim paper

Read More »

click to vote

VLDB
1992
ACM

102views Database» more VLDB 1992»

CORAL - Control, Relations and Logic

15 years 2 months ago

Download www.vldb.org

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...

claim paper

Read More »

click to vote

ISMIS
1991
Springer

89views Artificial Intelligence» more ISMIS 1991»

A Logic of Relative Desire (Preliminary Report)

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers