Sciweavers

55 search results - page 1 / 11

» birthday 2006

20

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic

14 years 1 months ago

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

25

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

14 years 1 months ago

Completion Is an Instance of Abstract Canonical System Inference

Download www.loria.fr

Guillaume Burel, Claude Kirchner

claim paper

Read More »

21

BIRTHDAY
2006
Springer

102views Applied Computing» more BIRTHDAY 2006»

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

14 years 1 months ago

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

Download unit.aist.go.jp

Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

20

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

14 years 1 months ago

Grammar Analysis and Parsing by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

16

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Partial Solutions with Unique Completion

14 years 1 months ago

Partial Solutions with Unique Completion

Download compalg.inf.elte.hu

Marco Cadoli, Marco Schaerf

claim paper

Read More »

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