Sciweavers

55 search results - page 1 / 11

» birthday 2006

9

BIRTHDAY
2006
Springer

94views Applied Computing» more BIRTHDAY 2006»

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

13 years 10 months ago

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

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

16

BIRTHDAY
2006
Springer

106views Applied Computing» more BIRTHDAY 2006»

Completion Is an Instance of Abstract Canonical System Inference

13 years 10 months ago

Completion Is an Instance of Abstract Canonical System Inference

Download www.loria.fr

Guillaume Burel, Claude Kirchner

claim paper

Read More »

13

BIRTHDAY
2006
Springer

102views Applied Computing» more BIRTHDAY 2006»

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

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

13

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

13 years 10 months ago

Grammar Analysis and Parsing by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

8

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Partial Solutions with Unique Completion

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