Can a higher-order and a first-order theorem prover cooperate?

C Benzmuller; Volker Sorge; Mateja Jamnik; Manfred Kerber

Can a higher-order and a first-order theorem prover cooperate?

C Benzmuller
, Volker Sorge
, Mateja Jamnik
, Manfred Kerber

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Mar 14-18, 2005. Montevideo, Uruguay - Duration: 1 Jan 2005 → …

Conference

Conference	11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Mar 14-18, 2005. Montevideo, Uruguay
Period	1/01/05 → …

Cite this

@conference{09c27398c12041fd976fc030be2a0a1a,

title = "Can a higher-order and a first-order theorem prover cooperate?",

author = "C Benzmuller and Volker Sorge and Mateja Jamnik and Manfred Kerber",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Mar 14-18, 2005. Montevideo, Uruguay ; Conference date: 01-01-2005",

}