More efficient proof-search for sequents of temporal logic

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Romas Alonderis
Format:	Artículo científico
Langue:	en
Publié:	Vilniaus Universitetas 2022
Sujets:	Matemáticas loop search backward proof Temporal logics type sequent calculi
Accès en ligne:	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:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet