Name
Title | ||
|---|---|---|
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings |
Year | Venue | Field |
|---|---|---|
2004 | CSL | Discrete mathematics,Separation logic,Primitive recursive function,Axiom,Computer science,Automated theorem proving,Propositional calculus,Decidability,Linear logic,Craig interpolation |
DocType | Volume | ISBN |
Conference | 3210 | isbn |
Citations | PageRank | References |
4 | 0.78 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jerzy Marcinkowski | 1 | 502 | 30.18 |
| Andrzej Tarlecki | 2 | 1514 | 124.61 |