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 × Australia
1 × Denmark
1 × Estonia
1 × France
1 × USA
1 × United Kingdom
Collaborated with:
A.Meier J.Whittle J.H.Siekmann M.Kohlhase X.Huang M.Kerber D.Nesmith J.Richts C.Benzmüller L.Cheikhrouhou A.Fiedler V.Sorge D.Fehrer K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann M.Pollet C.Ullrich C.Wirth J.Zimmer
Talks about:
proof (4) omega (3) strategi (2) develop (2) multi (2) mathemat (1) descript (1) toolkit (1) theorem (1) planner (1)

Person: Erica Melis

DBLP DBLP: Melis:Erica

Contributed to:

CADE 20052005
CADE 20022002
CL 20002000
CADE 19971997
CADE 19961996
CADE 19941994

Wrote 7 papers:

CADE-2005-MeierM #multi #proving #theorem proving
System Description: Multi A Multi-strategy Proof Planner (AM, EM), pp. 250–254.
CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
CL-2000-MelisM #multi #proving #theorem proving
Proof Planning with Multiple Strategies (EM, AM), pp. 644–659.
CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
CADE-1996-MelisW #proving #theorem proving
Internal Analogy in Theorem Proving (EM, JW), pp. 92–105.
CADE-1994-HuangKKMNRS #development #named #proving
Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support
KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.

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.