DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Nachum Dershowitz
Nachum Dershowitz
Basic Paramodulation
Lecture Notes in Computer Science
Lipics-FSCD-2021-19.Pdf (0.6
Automated Deduction with Built-In Theories Completeness Results
Nachum Dershowitz Dziekuje˛ ˛
Confluence of Layered Rewrite Systems
A Taste of Rewrite Systems
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
Open. Closed. Open
WST 2021, July 16, 2021, Affiliated with CADE-28 (Virtual Event)
Top View