Sciweavers

79 search results - page 2 / 16

» birthday 2005

15

BIRTHDAY
2005
Springer

105views Applied Computing» more BIRTHDAY 2005»

Detecting the Logical Content: Burley's 'Purity of Logic'

14 years 2 months ago

Detecting the Logical Content: Burley's 'Purity of Logic'

Download wilfridhodges.co.uk

Wilfrid Hodges

claim paper

Read More »

19

BIRTHDAY
2005
Springer

87views Applied Computing» more BIRTHDAY 2005»

Interpolation and Joint Consistency

14 years 2 months ago

Interpolation and Joint Consistency

Download lc2009.fmi.uni-sofia.bg

Larisa Maksimova

claim paper

Read More »

13

BIRTHDAY
2005
Springer

106views Applied Computing» more BIRTHDAY 2005»

Open Problems in Logic and Games

14 years 2 months ago

Open Problems in Logic and Games

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

26

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

14 years 2 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 »

16

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

14 years 2 months ago

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

Download hal.archives-ouvertes.fr

Paul-André Melliès

claim paper

Read More »

« Prev « First page 2 / 16 Last » Next »