More efficient proof-search for sequents of temporal logic

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Romas Alonderis
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Vilniaus Universitetas 2022
Materias:	Matemáticas loop search backward proof Temporal logics type sequent calculi
Acceso en línea:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet