BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
competit (3)
atp (3)
system (3)
design (2)
count (1)

Stem cade$ (all stems)

6 papers:

CADECADE-2013-BeckertGS #algorithm #logic
Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
IJCARIJCAR-2004-SutcliffeS #contest
The CADE ATP System Competition (GS, CBS), pp. 490–491.
CADECADE-2003-SutcliffeS #contest
The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
CADECADE-1999-HutterB #contest #design #induction #proving #theorem proving
The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
CADECADE-1996-SuttnerS #contest #design
The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
ICSEICSE-1979-HutchingsMETW #on the #re-engineering
On CADES-Software Engineering in Practice (AFH, RWM, AEE, BRT, PNW), pp. 136–144.

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.