Saltar al contenido
Universidad del Mar SIBUMAR Descubridor Institucional UMAR
  • Inicio
  • Búsqueda avanzada
  • Explorar
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Búsqueda avanzada
  • More efficient proof-search for sequents of temporal logic
Imagen de Portada

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!
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Agregar a favoritos
  • Enlace Permanente
  • Existencias
  • Descripción
  • Comentarios
  • Ejemplares similares
  • Vista Equipo

Internet

https://www.redalyc.org/articulo.oa?id=692674313001
https://www.redalyc.org/journal/6926/692674313001/
https://www.redalyc.org/journal/6926/692674313001/html/
https://www.redalyc.org/journal/6926/692674313001/692674313001.epub
https://www.redalyc.org/journal/6926/692674313001/movil
https://doi.org/10.15388/LMR.2022.29752

Ejemplares similares

  • (Hyper)sequent Calculi for the ALC(S4) Description Logics
    por: Juan Pablo Muñoz
    Publicado: (2016)
  • Automated Reasoning with Analytic Tableaux and Related Methods
    Publicado: (2023)
  • Expanding the Universe of Universal Logic
    por: James Trafford
    Publicado: (2014)
  • Bulletin of the Section of Logic
    Publicado: (2020)
  • Logical derivation search with assumption traceability
    por: Adomas Birštunas
    Publicado: (2021)
Universidad del Mar
Universidad del MarSistema Bibliotecario de la Universidad del MarDescubridor Institucional UMARImplementación y desarrollo: Mtro. Carlos Alonso Albores Pérez
InicioBúsqueda avanzadaExplorar
Visitas al Descubridor: 33,245© 2026 Universidad del Mar