Artikel in einem Konferenzbericht,

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.

, , , und .
FroCoS, Volume 3717 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2005)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen