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