scientific article; zbMATH DE number 1765692

zbMATH Open0988.68606MaRDI QIDQ4539633FDOQ4539633

Authors: Jens Happe 

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830459

Title of this publication is not available (Why is that?)

Recommendations

• Equational theorem proving modulo
• Theorem Proving Modulo Based on Boolean Equational Procedures
• Theorem proving modulo
• Publication:3030268
• Publication:3490986
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 1538015
• Embedding Deduction Modulo into a Prover
• Paramodulation-based theorem proving
• An empirical analysis of modal theorem provers

Mathematics Subject Classification ID

Cited In (7)

• Title not available (Why is that?)
• Embedding Deduction Modulo into a Prover
• An empirical analysis of modal theorem provers
• Automated Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• MODPROF

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539633)