Publication:4518863
From MaRDI portal
zbMath0971.68140MaRDI QIDQ4518863
Alessandro Armando, Silvio Ranise
Publication date: 30 October 2001
68Q42: Grammars and rewriting systems
Related Items
The control layer in open mechanized reasoning systems: Annotations and tactics, Incorporating decision procedures in implicit induction.