Search Sciweavers | Sciweavers

611 search results - page 7 / 123

» Yuri, Logic, and Computer Science

151

Voted

ACMSE
2006
ACM

81views Theoretical Computer Science» more ACMSE 2006»

Spatial datbase feasibility for facial characterization using fuzzy logic queries

16 years 1 months ago

Download www.people.vcu.edu

James L. Mastros

claim paper

Read More »

183

click to vote

SOFSEM
2005
Springer

163views Theoretical Computer Science» more SOFSEM 2005»

Logical Foundations for Data Integration

16 years 1 months ago

Download kedrigern.dcs.fmph.uniba.sk

Maurizio Lenzerini

claim paper

Read More »

155

Voted

TLCA
2001
Springer

85views Theoretical Computer Science» more TLCA 2001»

Second-Order Pre-Logical Relations and Representation Independence

16 years 3 days ago

Download www.cis.uni-muenchen.de

Hans Leiß

claim paper

Read More »

162

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 12 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

188

Voted

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers