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

[QR code for this page]

Creators

James Davenport
University of Bath

Contributors

University of Bath
Rights Holder

Documentation

Funders

Horizon 2020 Framework Programme (H2020)
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), pp.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

Departments:

Faculty of Science
Computer Science

School of Management
School of Management