Your browser doesn't support javascript.
loading
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.
Middeldorp, Aart; Lochmann, Alexander; Mitterwallner, Fabian.
Afiliação
  • Middeldorp A; Department of Computer Science, University of Innsbruck, Innsbruck, Austria.
  • Lochmann A; Department of Computer Science, University of Innsbruck, Innsbruck, Austria.
  • Mitterwallner F; Department of Computer Science, University of Innsbruck, Innsbruck, Austria.
J Autom Reason ; 67(2): 14, 2023.
Article em En | MEDLINE | ID: mdl-37038593
Palavras-chave
Texto completo
Adicionar na Minha BVS
Imprimir
XML
PubMed Links
Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Tipo de estudo: Prognostic_studies Idioma: En Revista: J Autom Reason Ano de publicação: 2023 Tipo de documento: Article País de afiliação: Áustria País de publicação: Holanda
Texto completo
Adicionar na Minha BVS
Imprimir
XML
PubMed Links
Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Tipo de estudo: Prognostic_studies Idioma: En Revista: J Autom Reason Ano de publicação: 2023 Tipo de documento: Article País de afiliação: Áustria País de publicação: Holanda