BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:

Talks about:
determinis (1) proposit (1) formula (1) tempor (1) method (1)

Person: Philippe Noël

DBLP DBLP: No=euml=l:Philippe

Contributed to:

LOPSTR 19911991

Wrote 1 papers:

LOPSTR-1991-Noel #nondeterminism
A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.

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.