Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleContext aware calculation and deduction. Ring equalities via Gr\"obner bases in Isabelle.
Author(s) Amine Chaieb, Makarius Wenzel
TypeBook, Chapter in Book, Conference Proceeding
Abstract
ISBN978-3-540-73083-5/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-73086-6_3
LanguageEnglish
Pages27--39
PublisherBerlin: Springer
Year2007
Edition0
Translation No
Refereed No
Webmaster