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 × France
1 × Hungary
Collaborated with:
N.W.Filardo A.Kempe J.Champarnaud F.Guingne F.Nicart
Talks about:
intersect (1) arithmet (1) flexibl (1) circuit (1) solver (1) ration (1) finit (1) class (1) wfsm (1) auto (1)

Person: Jason Eisner

DBLP DBLP: Eisner:Jason

Contributed to:

ICLP 20122012
CIAA 20052005

Wrote 2 papers:

ICLP-2012-FilardoE #finite #flexibility
A Flexible Solver for Finite Arithmetic Circuits (NWF, JE), pp. 425–438.
A Class of Rational n-WFSM Auto-intersections (AK, JMC, JE, FG, FN), pp. 188–198.

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.