Publications

2000

• E. Gonçalvès and E. Grädel. Decidability issues for action guarded logics. In Proceedings of 2000 International Workshop on Description Logics – DL2000, pp. 123–132, 2000.             
  BibTeX

  @inproceedings{GoGr00,
       author = {E. Gonçalvès and E. Grädel},
       title = {Decidability issues for action guarded logics},
       booktitle = {Proceedings of 2000 International Workshop on Description Logics – DL2000},
       pages = {123–132},
       year = {2000},
       url = {http://www.logic.rwth-aachen.de/pub/graedel/GoGr-dl00.ps},
  }