Sciweavers

79 search results - page 2 / 16

» birthday 2005

9

BIRTHDAY
2005
Springer

105views Applied Computing» more BIRTHDAY 2005»

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

13 years 10 months ago

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

Download wilfridhodges.co.uk

Wilfrid Hodges

claim paper

Read More »

12

BIRTHDAY
2005
Springer

87views Applied Computing» more BIRTHDAY 2005»

Interpolation and Joint Consistency

13 years 10 months ago

Interpolation and Joint Consistency

Download lc2009.fmi.uni-sofia.bg

Larisa Maksimova

claim paper

Read More »

8

BIRTHDAY
2005
Springer

106views Applied Computing» more BIRTHDAY 2005»

Open Problems in Logic and Games

13 years 10 months ago

Open Problems in Logic and Games

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

16

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

13 years 10 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 »

8

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

13 years 10 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 »