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 × Italy
Collaborated with:
J.C.Blanchette S.S.0001 P.Vukmirovic G.Hamon S.Owre N.Shankar A.Reynolds C.Tinelli A.Bentkamp U.Waldmann
Talks about:
higher (2) tool (2) superposit (1) stronger (1) function (1) evidenti (1) satisfi (1) recurs (1) modulo (1) lambda (1)

Person: Simon Cruanes

DBLP DBLP: Cruanes:Simon

Contributed to:

VMCAI 20132013
IJCAR 20162016
CADE 20172017
IJCAR 20182018
CADE 20192019

Wrote 5 papers:

VMCAI-2013-CruanesHOS #integration #tool support
Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.
IJCAR-2016-ReynoldsBCT #recursion #smt
Model Finding for Recursive Functions in SMT (AR, JCB, SC, CT), pp. 133–151.
CADE-2017-Cruanes #bound #satisfiability
Satisfiability Modulo Bounded Checking (SC), pp. 114–129.
IJCAR-2018-BentkampBCW #higher-order #logic
Superposition for Lambda-Free Higher-Order Logic (AB, JCB, SC, UW), pp. 28–46.
CADE-2019-0001CV #performance
Faster, Higher, Stronger: E 2.3 (SS0, SC, PV), pp. 495–507.

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.