Sciweavers

4217 search results - page 82 / 844

» Computational indistinguishability logic

54

BIRTHDAY
2005
Springer

106views Applied Computing» more BIRTHDAY 2005»

Open Problems in Logic and Games

15 years 3 months ago

Open Problems in Logic and Games

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

43

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 3 months ago

Specifying, Programming and Verifying with Equational Logic

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

56

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

15 years 3 months ago

Modal Logics for Metric Spaces: Open Problems

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

63

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

15 years 3 months ago

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

47

BIRTHDAY
2005
Springer

103views Applied Computing» more BIRTHDAY 2005»

Goal-Directed Methods for Fuzzy Logics

15 years 3 months ago

Goal-Directed Methods for Fuzzy Logics

Download sitemason.vanderbilt.edu

George Metcalfe, Nicola Olivetti

claim paper

Read More »

« Prev « First page 82 / 844 Last » Next »