I/O Logic in HOL (bibtex)
by Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller
Reference:
I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 2019. (To appear, URL (preprint): http://orbilu.uni.lu/handle/10993/37013)
Bibtex Entry:
@article{J46,
Author =	 {Ali Farjami and Paul Meder and Xavier Parent and Christoph Benzm{\"u}ller},
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{http://orbilu.uni.lu/handle/10993/37013}},
OPTUrl =         {http://collegepublications.co.uk/ifcolog/},
Year =	 2019,
}
Powered by bibtexbrowser