BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
Collaborated with:
A.Avellone C.Fiorentini U.Moscato
Talks about:
implement (1) construct (1) calculus (1) tableau (1) effici (1) space (1) negat (1) logic (1)

Person: Guido Fiorino

DBLP DBLP: Fiorino:Guido

Contributed to:

CSL 20042004

Wrote 1 papers:

CSL-2004-AvelloneFFM #calculus #implementation #logic #performance
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.