A mechanization of unity in PC-NQTHM-92 (Q1961924)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A mechanization of unity in PC-NQTHM-92 |
scientific article; zbMATH DE number 1394796
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A mechanization of unity in PC-NQTHM-92 |
scientific article; zbMATH DE number 1394796 |
Statements
A mechanization of unity in PC-NQTHM-92 (English)
0 references
30 January 2000
0 references
concurrent programs
0 references
PC-NQTHM-92
0 references
0.8179909586906433
0 references
0.7649936079978943
0 references
0.7638232707977295
0 references
0.7568806409835815
0 references