Transforming equality logic to propositional logic

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 4th International Workshop on First-Order Theorem Proving (FTP'03, Valencia, Spain, June 12-14, 2003)
Pages162-173
Number of pages12
DOIs
Publication statusPublished - 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier
Number1
Volume86
ISSN (Print)1571-0661

Cite this