More efficient proof-search for sequents of temporal logic

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Romas Alonderis
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Vilniaus Universitetas 2022
Schlagworte:	Matemáticas loop search backward proof Temporal logics type sequent calculi
Online-Zugang:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online