A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems Documento uri icon

  •  
  • Visão geral
  •  
  • Identidade
  •  
  • Informação adicional documento
  •  
  • Outro
  •  
  • Ver todos
  •  

tipo

  • journal article

data de publicação

  • 2023-01-01