Phorte Educacional

1 resultado para decidability

em Department of Computer Science E-Repository - King's College London, Strand, London


Filtro por publicador
  • AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
  • BORIS: Bern Open Repository and Information System - Berna - Suiça (3)
  • Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (1)
  • Department of Computer Science E-Repository - King's College London, Strand, London (1)
  • Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
  • Instituto Politécnico do Porto, Portugal (1)
  • Repositório Institucional da Universidade de Aveiro - Portugal (1)
  • Repositório Institucional da Universidade de Brasília (1)
  • RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (2)
  • Universidad Politécnica de Madrid (3)
  • Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
  • Université de Lausanne, Switzerland (1)
  • Université de Montréal (1)
  • Université de Montréal, Canada (2)
  • University of Southampton, United Kingdom (1)

Non-primitive recursive decidability of products of modal logics with expanding domains

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Biblioteca Digital

Desenvolvido por Phorte Educacional