![]() |
@article{DBLP:journals/acta/BurriezaG03,
author = {Alfredo Burrieza and
Inman P. de Guzm{\'a}n},
title = {A functional approach for temporal $\times$ modal logics},
journal = {Acta Inf.},
volume = {39},
number = {2},
year = {2003},
pages = {71-96},
ee = {http://link.springer.de/link/service/journals/00236/bibs/3039002/30390071.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-25 by Michael Ley (ley@uni-trier.de)