Your browser doesn't support javascript.
loading
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF.
Beyersdorff, Olaf; Blinkhorn, Joshua; Chew, Leroy; Schmidt, Renate; Suda, Martin.
Afiliação
  • Beyersdorff O; 1School of Computing, University of Leeds, Leeds, UK.
  • Blinkhorn J; 1School of Computing, University of Leeds, Leeds, UK.
  • Chew L; 1School of Computing, University of Leeds, Leeds, UK.
  • Schmidt R; 2School of Computer Science, University of Manchester, Manchester, UK.
  • Suda M; 3Institute of Information Systems, Vienna University of Technology, Vienna, Austria.
J Autom Reason ; 63(3): 597-623, 2019.
Article em En | MEDLINE | ID: mdl-31496547
Palavras-chave
Texto completo
Imprimir
XML
PubMed Links
Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Revista: J Autom Reason Ano de publicação: 2019 Tipo de documento: Article
Texto completo
Imprimir
XML
PubMed Links
Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Idioma: En Revista: J Autom Reason Ano de publicação: 2019 Tipo de documento: Article