Title | ||
---|---|---|
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers |
Year | Venue | Field |
---|---|---|
1997 | CSL | Kleene algebra,Discrete mathematics,Arity,System F,Type theory,Domain theory,Decidability,Presheaf,Rewriting,Mathematics |
DocType | Volume | ISBN |
Conference | 1258 | isbn |
Citations | PageRank | References |
28 | 3.89 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dirk Van Dalen | 1 | 68 | 55.46 |
Marc Bezem | 2 | 951 | 99.46 |