Descente Infinie + Deduction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Claus-Peter Wirth. Descente Infinie + Deduction. Logic Journal of the IGPL, 12(1):1-96, 2004. [doi]

@article{Wirth04,
  title = {Descente Infinie + Deduction},
  author = {Claus-Peter Wirth},
  year = {2004},
  doi = {10.1093/jigpal/12.1.1},
  url = {http://dx.doi.org/10.1093/jigpal/12.1.1},
  researchr = {https://researchr.org/publication/Wirth04},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {12},
  number = {1},
  pages = {1-96},
}

runs on WebDSL