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 = {Elisabeth Gon\c{c}alv{\`e}s and Erich Gr{\"a}del},
       booktitle = {{Proceedings of 2000 International Workshop on Description Logics -- DL2000}},
       pages = {123--132},
       title = {{Decidability issues for action guarded logics}},
       url = {http://www.logic.rwth-aachen.de/pub/graedel/GoGr-dl00.ps},
       year = {2000},
  }