Hypersequents and Systems of Rules: Embeddings and Applications (bibtex)
by Agata Ciabattoni, Francesco A. Genco
Reference:
Hypersequents and Systems of Rules: Embeddings and ApplicationsAgata Ciabattoni, Francesco A. GencoACM Trans. Comput. Log., volume 19, number 2, 2018.
Bibtex Entry:
@article{CiabattoniGencoTOCL2018,
  author = {Agata Ciabattoni and Francesco A. Genco},
  title = {Hypersequents and Systems of Rules: Embeddings and
                  Applications},
  journal = {{ACM} Trans. Comput. Log.},
  volume = {19},
  number = {2},
  year = {2018},
  url = {https://arxiv.org/abs/1805.04852}}
Powered by bibtexbrowser