Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Cite this dataset as:
Davenport, J.,
2017.
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'.
Zenodo.
Available from: https://doi.org/10.5281/zenodo.305441.
Export
Creators
James Davenport
University of Bath
Contributors
University of Bath
Rights Holder
Documentation
Methodology link:
Davenport, J. H., 2017. What Does “Without Loss of Generality” Mean, and How Do We Detect It. Mathematics in Computer Science, 11(3-4), 297-303. Available from: https://doi.org/10.1007/s11786-017-0316-2.
Funders
Horizon 2020 Framework Programme
https://doi.org/10.13039/100010661
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
712689
Publication details
Publication date: March 2017
by: Zenodo
Version: 1
DOI: https://doi.org/10.5281/zenodo.305441
URL for this record: https://researchdata.bath.ac.uk/id/eprint/350
Related papers and books
Davenport, J. H., 2017. What Does “Without Loss of Generality” Mean, and How Do We Detect It. Mathematics in Computer Science, 11(3-4), 297-303. Available from: https://doi.org/10.1007/s11786-017-0316-2.
Contact information
Please contact the Research Data Service in the first instance for all matters concerning this item.
Contact person: James Davenport
Faculty of Science
Computer Science
Faculties and Schools
School of Management
