Sciweavers

55 search results - page 1 / 11

» birthday 2008

59

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

14 years 12 months ago

A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

46

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

14 years 12 months ago

Proof Search Tree and Cut Elimination

Download www.logic.at

Grigori Mints

claim paper

Read More »

53

BIRTHDAY
2008
Springer

86views Applied Computing» more BIRTHDAY 2008»

14 years 12 months ago

Download www.aftrs.edu.au

Alberto Martelli

claim paper

Read More »

72

BIRTHDAY
2008
Springer

116views Applied Computing» more BIRTHDAY 2008»

Automatic Mutual Exclusion and Atomicity Checks

14 years 12 months ago

Automatic Mutual Exclusion and Atomicity Checks

Download users.soe.ucsc.edu

Martín Abadi

claim paper

Read More »

48

BIRTHDAY
2008
Springer

67views Applied Computing» more BIRTHDAY 2008»

Declarative Debugging of Membership Equational Logic Specifications

14 years 12 months ago

Declarative Debugging of Membership Equational Logic Specifications

Download maude.sip.ucm.es

Rafael Caballero, Narciso Martí-Oliet, Adri...

claim paper

Read More »

« Prev « First page 1 / 11 Last » Next »