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:
system (7)
competit (5)
cade (3)
casc (2)
ijcar (2)

Stem atp$ (all stems)

8 papers:

CADECADE-2009-RoedererPS #axiom #named
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.
IJCARIJCAR-2008-Sutcliffe #contest
CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
IJCARIJCAR-2006-Sutcliffe #contest #named
CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.
FASEFASE-2005-JurjensS #analysis #development #security #tool support #uml
Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
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-1997-FischerS #re-engineering #reuse
SETHEO Goes Software Engineering: Application of ATP to Software Reuse (BF, JS), pp. 65–68.
CADECADE-1996-SuttnerS #contest #design
The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.

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.