Journals in DBLP
Electr. Notes Theor. Comput. Sci.
2008, volume: 198, number: 2
Preface. [Citation Graph (, )][DBLP]
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic. [Citation Graph (, )][DBLP]
E-matching for Fun and Profit. [Citation Graph (, )][DBLP]
Model-based Theory Combination. [Citation Graph (, )][DBLP]
CC(X): Semantic Combination of Congruence Closure with Solvable Theories. [Citation Graph (, )][DBLP]
Encoding First Order Proofs in SMT. [Citation Graph (, )][DBLP]
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002