Research output per year
Research output per year
Description
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
| Date made available | Mar 2017 |
|---|---|
| Publisher | Zenodo |
Research output
- 1 Article
-
What does “without loss of generality” mean, and how do we detect it
Davenport, J., 25 Apr 2017, (E-pub ahead of print) In: Mathematics in Computer Science. 11, 3-4, p. 297-303Research output: Contribution to journal › Article › peer-review
Open Access4 Citations (SciVal)
Projects
- 1 Finished
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Davenport, J. (PI)
1/07/16 → 31/08/18
Project: EU Commission