Year | DOI | Venue |
---|---|---|
1988 | 10.1007/BFb0012841 | CADE |
Keywords | Field | DocType |
shared memory,message passing,theorem prover,propositional logic,first order | Discrete mathematics,Computer science,Automated theorem proving,Algorithm,Propositional calculus,First-order logic,Semigroup,Lemma (mathematics),Message passing,Computation | Conference |
Volume | ISSN | ISBN |
310 | 0302-9743 | 3-540-19343-X |
Citations | PageRank | References |
4 | 3.21 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ralph Butler | 1 | 145 | 55.16 |
Nicholas T. Karonis | 2 | 1069 | 155.00 |