researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Computing
Home
Index
Info
Issue
Volume
21
, Issue
4
273
--
294
Edmund M. Clarke
.
Program invariants as fixedpoints
295
--
322
Wolfgang Lindenberg
,
Leonhard Gerhards
.
Clique detection for nondirected graphs: Two new algorithms
323
--
331
Herbert Sonntag
.
Ein Verfahren zur Alternativroutensuche in Verkehrsnetzen
333
--
342
Helmut Jürgensen
.
Transformationendarstellungen endlicher abstrakt präsentierter Halbgruppen
343
--
358
Sean McKee
.
Best convergence rates of linear multistep methods for Volterra first kind equations
359
--
364
Iván Lux
.
Another special method to sample probability density functions