Special issue on rewriting and theorem proving

Research output: Book/Report › Anthology

Cite this

@book{ba98b31607b44cd6aef7174981f318da,

title = "Special issue on rewriting and theorem proving",

author = "Kamareddine, {Fairouz Dib}",

note = "Special issue in the Logic Journal of Interest Group of Pure and Applied Logic (Log.J. IGPL) Oxford University Press.",

year = "2001",

language = "English",

volume = "9",

publisher = "Oxford University Press",

address = "United Kingdom",

}