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 × Greece
1 × USA
Collaborated with:
A.Tasistro P.Manolios V.Papavasileiou
Talks about:
framework (1) mathemat (1) program (1) theori (1) modulo (1) didact (1) deduct (1) assist (1) proof (1) order (1)

Person: Jorge Pais

DBLP DBLP: Pais:Jorge

Contributed to:

CAV 20152015
HCI/LCT p1 20142014

Wrote 2 papers:

CAV-2015-ManoliosPP #framework #modulo theories #programming
The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving
Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.

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.