Abstract | ||
---|---|---|
Semantic independence is characterized using set-theoretic parts of Universal Algebra. The definition of more than two semantically independent programs is corrected. |
Year | DOI | Venue |
---|---|---|
1991 | 10.1016/0020-0190(91)90001-X | Inf. Process. Lett. |
Keywords | Field | DocType |
semantic independence,algebraic characterization,formal semantics,parallel computation,relational algebra | Discrete mathematics,Algebraic number,Algebra,Relational algebra,Universal algebra,Mathematics,Semantics of logic | Journal |
Volume | Issue | ISSN |
39 | 6 | 0020-0190 |
Citations | PageRank | References |
1 | 0.44 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard von Stengel | 1 | 275 | 38.51 |