Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- |lastname=Schernhammer |homepage=http://www.logic.at/people/schernhammer611 bytes (94 words) - 10:34, 30 December 2009
Page text matches
- |developers=[[People:Felix Schernhammer|Felix Schernhammer]], Bernhard Gramlich937 bytes (135 words) - 10:45, 30 December 2009
- author = "F. Schernhammer and B. Gramlich",606 bytes (76 words) - 10:40, 30 December 2009
- |lastname=Schernhammer |homepage=http://www.logic.at/people/schernhammer611 bytes (94 words) - 10:34, 30 December 2009