Year | DOI | Venue |
---|---|---|
1993 | 10.1016/0020-0190(93)90211-Q | Inf. Process. Lett. |
Keywords | Field | DocType |
undefinedness.,quasi-boolean equivalence,formal semantics | Discrete mathematics,Combinatorics,Expression (mathematics),Mathematical proof,Equivalence (measure theory),Boolean expression,Mathematics,Algebraic laws,Semantics of logic | Journal |
Volume | Issue | Citations |
45 | 5 | 1 |
PageRank | References | Authors |
0.51 | 4 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Bijlsma | 1 | 36 | 7.02 |