Combining proofs of higher-order and first-order automated theorem provers

C Benzmuller, Volker Sorge, M Jamnik, Manfred Kerber, C Benzmuller, J Harrison, C Schurmann

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	45-58
Number of pages	14
Publication status	Published - 1 Jan 2005
Event	Workshop on Empirically Successful Automated Reasoning in Higher-order Logic - Duration: 1 Jan 2005 → …

Conference	Workshop on Empirically Successful Automated Reasoning in Higher-order Logic
Period	1/01/05 → …

Cite this

@conference{2f4f7a0a2c3d4bdf8709c70e4fd304c4,

title = "Combining proofs of higher-order and first-order automated theorem provers",

author = "C Benzmuller and Volker Sorge and M Jamnik and Manfred Kerber and C Benzmuller and J Harrison and C Schurmann",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "45--58",

note = "Workshop on Empirically Successful Automated Reasoning in Higher-order Logic ; Conference date: 01-01-2005",

}

TY - CONF

T1 - Combining proofs of higher-order and first-order automated theorem provers

AU - Benzmuller, C

AU - Sorge, Volker

AU - Jamnik, M

AU - Kerber, Manfred

AU - Benzmuller, C

AU - Harrison, J

AU - Schurmann, C

PY - 2005/1/1

Y1 - 2005/1/1

M3 - Paper

SP - 45

EP - 58

T2 - Workshop on Empirically Successful Automated Reasoning in Higher-order Logic

Y2 - 1 January 2005

ER -