Linked Data Explorerhttp://worldcat.org/entity/work/id/198915490
Abstraction and verification in ALPHARD : iteration and generators
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh85000258
- http://id.loc.gov/authorities/subjects/sh85111351
- http://id.worldcat.org/fast/794769
- http://id.worldcat.org/fast/1089807
- http://id.loc.gov/authorities/subjects/sh85142816
- http://id.loc.gov/authorities/subjects/sh85029524
- http://id.loc.gov/authorities/subjects/sh85069058
- http://id.worldcat.org/fast/1165386
- http://id.worldcat.org/fast/872410
- http://id.worldcat.org/fast/980827
http://schema.org/contributor
- http://worldcat.org/entity/person/id/2635065810
- http://worldcat.org/entity/person/id/2737178504
- http://viaf.org/viaf/129093447
- http://id.loc.gov/authorities/names/n82103291
- http://worldcat.org/entity/person/id/2639688016
- http://worldcat.org/entity/person/id/2718165541
- http://viaf.org/viaf/146018049
- http://id.loc.gov/authorities/names/n86807261