Back to Results
First PageMeta Content
Inequalities / Mathematical proofs / Mathematics / Algebraic number theory / Finite fields


April 13, 2007 — Final version for proceedings of RTA’07 A Characterisation of Medial as Rewriting Rule Lutz Straßburger INRIA Futurs, Projet Parsifal ´
Add to Reading List

Document Date: 2007-04-13 05:18:17

Open Document

File Size: 199,58 KB

Share Result on Facebook

Company

M and S / /

Country

France / /

Currency

pence / /

IndustryTerm

relation web / proof search / deductive systems / /

Organization

Ecole Polytechnique / /

Position

VP ∩VQ / ∩VP / VP / iff VP / vertices VP / /

Product

M-16 / /

ProvinceOrState

Mississippi / /

URL

http /

SocialTag