Automated Reasoning

From MaRDI portal

Publication:5307052

Jump to:navigation, search

DOI10.1007/b98691zbMath1126.68559OpenAlexW4239036627MaRDI QIDQ5307052

Albert Rubio, Miquel Bofill

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98691

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Paramodulation with non-monotonic orderings and simplification

This page was built for publication: Automated Reasoning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5307052&oldid=19975721"

Pages with script errors