Notes on Craig interpolation for LJ with strong negation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Norihiro Kamide. Notes on Craig interpolation for LJ with strong negation. Math. Log. Q., 57(4):395-399, 2011. [doi]

@article{Kamide11,
  title = {Notes on Craig interpolation for LJ with strong negation},
  author = {Norihiro Kamide},
  year = {2011},
  doi = {10.1002/malq.201010016},
  url = {http://dx.doi.org/10.1002/malq.201010016},
  researchr = {https://researchr.org/publication/Kamide11},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {57},
  number = {4},
  pages = {395-399},
}

runs on WebDSL