Search Sciweavers | Sciweavers

4401 search results - page 107 / 881

» Computing with Default Logic

click to vote

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

14 years 2 months ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

14 years 2 months ago

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

14 years 2 months ago

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

103views Applied Computing» more BIRTHDAY 2005»

Goal-Directed Methods for Fuzzy Logics

14 years 2 months ago

Download sitemason.vanderbilt.edu

George Metcalfe, Nicola Olivetti

claim paper

Read More »

click to vote

SOFSEM
2005
Springer

163views Theoretical Computer Science» more SOFSEM 2005»

Logical Foundations for Data Integration

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers