×

Found 16 Documents (Results 1–16)

Proving isomorphism of first-order logic proof systems in HOL. (English) Zbl 0927.03023

Grundy, Jim (ed.) et al., Theorem proving in higher order logics. 11th international conference, TPHOLs ’98. Canberra, Australia, September 27 - October 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1479, 295-314 (1998).
MSC:  03B35 03B10 03B15
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field