Zobrazeno 1 - 10 of 56 pro vyhledávání: '"Automata and logic"'
1
Pebble-Intervals Automata and FO\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document} with Two Orders
Autor: Labai, Nadia, Kotek, Tomer, Ortiz, Magdalena, Veith, Helmut
Publikováno v: Language and Automata Theory and Applications
We introduce a novel automata model, which we call pebble-intervals automata (PIA), and study its power and closure properties. PIAs are tailored for a decidable fragment of FO that is important for reasoning about structures that use data values fro
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmc_________::4f0a2541d914d41d341604b8ebf1aa49
http://europepmc.org/articles/PMC7206661
Zobrazit plný text záznamu
2
Posets série-parallèles transfinis : automates, logiques et théories équationnelles
Autor: Amrane, Amazigh
Publikováno v: Informatique et langage [cs.CL]. Normandie Université, 2020. Français. ⟨NNT : 2020NORMR102⟩
We study in this thesis structures extending the classical notion of word. They are built from a partially ordered set (poset) verifying the following properties : — they do not contain 4 distinct elements x, y, z, t whose relative order is exactly
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ed9156d16949252cb04c201311cfea52
https://tel.archives-ouvertes.fr/tel-03215265
Zobrazit plný text záznamu
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
4
Series-parallel posets : automata, logic and equational theories
Autor: AMRANE, Amazigh
We study in this thesis structures extending the classical notion of word. They are built from a partially ordered set (poset) verifying the following properties : — they do not contain 4 distinct elements x, y, z, t whose relative order is exactly
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c1fb32c7f2ac3c9449f17ca70a0a8c4f
https://theses.hal.science/tel-03215265
Zobrazit plný text záznamu
5
Report
PDL with Negation of Atomic Programs
Autor: Lutz, Carsten, Walther, Dirk
Propositional dynamic logic (PDL) is one of the most succesful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with nega
Externí odkaz: https://tud.qucosa.de/id/qucosa%3A79055
https://tud.qucosa.de/api/qucosa%3A79055/attachment/ATT-0/
Zobrazit plný text záznamu
6
LIPIcs, Volume 131, FSCD'19, Complete Volume
Autor: Geuvers, Herman
LIPIcs, Volume 131, FSCD'19, Complete Volume
LIPIcs, Vol. 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), pages 0-0
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88f2d676d017fa0cff29d871361d3210
https://drops.dagstuhl.de/opus/volltexte/2019/10773/
Zobrazit plný text záznamu
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
8
LIPIcs, Volume 108, FSCD'18, Complete Volume
Autor: Kirchner, H��l��ne
LIPIcs, Volume 108, FSCD'18, Complete Volume
LIPIcs, Vol. 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), pages 0-0
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a2703ea7d729ed987e9e4421685bf1e
https://drops.dagstuhl.de/opus/volltexte/2018/9281/
Zobrazit plný text záznamu
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje