Sciweavers

55 search results - page 1 / 11

» birthday 2008

8

BIRTHDAY
2008
Springer

84views Applied Computing» more BIRTHDAY 2008»

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

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

8

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

13 years 6 months ago

Proof Search Tree and Cut Elimination

Download www.logic.at

Grigori Mints

claim paper

Read More »

8

BIRTHDAY
2008
Springer

86views Applied Computing» more BIRTHDAY 2008»

13 years 6 months ago

Download www.aftrs.edu.au

Alberto Martelli

claim paper

Read More »

12

BIRTHDAY
2008
Springer

116views Applied Computing» more BIRTHDAY 2008»

Automatic Mutual Exclusion and Atomicity Checks

13 years 6 months ago

Automatic Mutual Exclusion and Atomicity Checks

Download users.soe.ucsc.edu

Martín Abadi

claim paper

Read More »

7

BIRTHDAY
2008
Springer

67views Applied Computing» more BIRTHDAY 2008»

Declarative Debugging of Membership Equational Logic Specifications

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