Francicleber Martins Ferreira


Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21711
Fax:   +49-241-80-22215
Room:   4114a (E1) / Ahornstr. 55
Email:   ferreira [AT]

Office Hours

By appointment


  • Logic
  • Descriptive Complexity

Recent Publications

  • F. Martins Ferreira, C. M. Freire, M. R. Benevides, L. M. Schechter, and A. T. Martins. Hybrid Logics and NP Graph Properties. In Logic, Language, Information and Computation — 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings (L. D. Beklemishev and R. de Queiroz, Eds.), vol. 6642 of Lecture Notes in Computer Science, pp. 123–134. Springer Berlin / Heidelberg, 2011.
  • F. Martins Ferreira and A. T. Martins. Expressiveness and Definability in Circumscription. Manuscrito, vol. 34(1), pp. 195–227, 2011.
  • F. Martins Ferreira and A. T. Martins. Expressible preferential logics. Journal of Logic and Computation (Online), 2011.
  • F. Martins Ferreira and A. T. Martins. Recursive Definitions and Fixed-Points on Well-Founded Structures. Theoretical Computer Science, vol. 412(37), pp. 4893–4904, 2011.
  • F. Martins Ferreira. Modelos Minimais e Hierarquia de Expressividade. Master thesis, Universidade Federal do Ceará, 2007.

All publications