I/O Logic in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent
Reference:
I/O Logic in HOL (Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 2019. (To appear, URL (preprint): https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL)
Bibtex Entry:
@article{J46,
Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Paul Meder and Xavier Parent},
Journal =	 {Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications},
OPTEditor =	 {Alemany, Laura Alonso and Simari, Guillermo and van der Torre, Leon},
Title =	 {{I/O} Logic in {HOL}},
Note =         {To appear, URL (preprint): \url{https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL}},
OPTUrl =         {https://www.researchgate.net/publication/332786587_IO_Logic_in_HOL},
Year =	 2019,
}
Powered by bibtexbrowser