External Links

    Journal: Computing

    Volume 21, Issue 4

    273 -- 294Edmund M. Clarke. Program invariants as fixedpoints
    295 -- 322Wolfgang Lindenberg, Leonhard Gerhards. Clique detection for nondirected graphs: Two new algorithms
    323 -- 331Herbert Sonntag. Ein Verfahren zur Alternativroutensuche in Verkehrsnetzen
    333 -- 342Helmut Jürgensen. Transformationendarstellungen endlicher abstrakt präsentierter Halbgruppen
    343 -- 358Sean McKee. Best convergence rates of linear multistep methods for Volterra first kind equations
    359 -- 364Iván Lux. Another special method to sample probability density functions
    runs on