Books
Contributors
Covers
Sign In
Tobias Nipkow
X
LinkedIn
Author
Term Rewriting and All That
Edit this contributor
Destroy this contributor
Back to contributors
 translate(0.5 0.5)' filter='url(%23b)'> <ellipse fill='%23d14886' fill-opacity='0.501961' cx='70' cy='165' rx='177' ry='27'/> <g transform='translate(140.019589 100.406199) rotate(259.785926) scale(34.267169 115.831445)'> <ellipse fill='%23263584' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%23ff4a86' fill-opacity='0.501961' cx='97' cy='201' rx='10' ry='50'/> <g transform='translate(31.571809 194.709344) rotate(84.612263) scale(55.379471 10.362616)'> <ellipse fill='%23fb437d' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <polygon fill='%2327277e' fill-opacity='0.501961' points='68,46 72,-16 -16,8'/> <ellipse fill='%23c496ae' fill-opacity='0.501961' cx='88' cy='55' rx='69' ry='7'/> <g transform='translate(79 28) rotate(178) scale(14 40)'> <rect fill='%23ff4887' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <rect fill='%23c23b81' fill-opacity='0.501961' x='138' y='177' width='31' height='67'/> <rect fill='%23f25990' fill-opacity='0.501961' x='135' y='9' width='14' height='54'/> <g transform='translate(110.951048 14.861989) rotate(277.896841) scale(38.788605 20.675391)'> <ellipse fill='%2332287e' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> <ellipse fill='%232f257b' fill-opacity='0.501961' cx='50' cy='190' rx='8' ry='43'/> <ellipse fill='%23ff4075' fill-opacity='0.501961' cx='21' cy='74' rx='4' ry='29'/> <g transform='translate(9 241) rotate(65) scale(95 30)'> <rect fill='%2326287e' fill-opacity='0.501961' x='-0.5' y='-0.5' width='1' height='1'/> </g> <ellipse fill='%23cacfcc' fill-opacity='0.501961' cx='43' cy='79' rx='15' ry='5'/> <g transform='translate(166.166548 11.990172) rotate(70.816023) scale(92.561906 16.585384)'> <ellipse fill='%2331287e' fill-opacity='0.501961' cx='0' cy='0' rx='1' ry='1'/> </g> </g></svg>)