skip navigation

The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Olderog, E.-R.

URI(s)

http://id.loc.gov/authorities/names/n88629264

Variants

Olderog, Ernst-Rüdiger

Identifies LC/NAF RWO

http://id.loc.gov/rwo/agents/n88629264

Identifies RWO

Exact Matching Concepts from Other Schemes

http://viaf.org/viaf/sourceID/LC%7Cn++88629264#skos:Concept

Closely Matching Concepts from Other Schemes

Ernst-Rüdiger Olderog Label from public data source Wikidata

Sources

found: nuc88-46315: Author's Specification-oriented semantics for communicating processes, 1984(hdg. on PPiU rept.: Olderog, E.-R.; usage: E.-R. Olderog)

found: Apt, K.R. Verification of sequential and concurrent programs, c1991:CIP t.p. (Ernst-Rüdiger Olderog) copr. p. (Christian Albrechts Univ., Inst. für Informatik, Kiel, Germany)

found: Correct system design, 1999:CIP t.p. (Ernst-Rüdiger Olderog) data sheet (b. June 4, 1955)

Instance Of

Scheme Membership(s)

Library of Congress Name Authority File

Collection Membership(s)

Change Notes

1988-04-19: new
1999-10-05: revised

Alternate Formats