Logic for applications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Anil Nerode, Richard A. Shore. Logic for applications. Texts and monographs in computer science, Springer, 1993.

@book{0071923,
  title = {Logic for applications},
  author = {Anil Nerode and Richard A. Shore},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/0071923},
  cites = {0},
  citedby = {0},
  series = {Texts and monographs in computer science},
  publisher = {Springer},
  isbn = {978-0-387-94129-5},
}

runs on WebDSL