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

Collaborated with:
C.Barrett C.Tinelli
Talks about:
procedur (1) abstract (1) theori (1) induct (1) decis (1) type (1) data (1)

Person: Igor Shikanian

DBLP DBLP: Shikanian:Igor

Contributed to:

SMT 20062007

Wrote 2 papers:

SMT-J-2006-BarrettST #data type #formal method #induction
An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.

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.