Search results
From MaRDI portal
- Paper Regular languages of thin trees 2016-06-03 Paper Two-variable logic on data trees and XML reasoning 2015-11-11 Paper Recognisable Languages over Monads...10 bytes (15 words) - 02:32, 7 October 2023
- of Regular Languages 2009-07-14 Paper A Robust Class of Regular Languages 2009-02-03 Paper Duality and Equational Theory of Regular Languages 2008-08-19...10 bytes (17 words) - 15:09, 9 December 2023
- temporal logic on data words 2016-10-07 Paper Definable relations and first-order query languages over strings 2015-11-12 Paper Two-variable logic on data...10 bytes (14 words) - 06:50, 9 December 2023
- 2023-09-27 Paper A first-order logic characterization of safety and co-safety languages 2023-08-26 Paper Interval Temporal Logic for Visibly Pushdown Systems...10 bytes (13 words) - 04:34, 7 October 2023
- equational logic 2013-08-15 Paper Interpreting abstract interpretations in membership equational logic 2013-07-24 Paper From Hoare Logic to Matching Logic Reachability...10 bytes (14 words) - 00:42, 9 December 2023
- propositional modal logic 1998-09-02 Paper A note on the stable model semantics for logic programs 1998-08-13 Paper Context-free languages over infinite alphabets...10 bytes (13 words) - 12:36, 28 January 2024
- Free Languages 2015-10-20 Paper Locally Chain-Parsable Languages 2015-09-16 Paper Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization...10 bytes (15 words) - 04:39, 12 December 2023
- Paper A Poly-Connexive Logic 2021-08-17 Paper Calculi for many-valued logics 2021-08-11 Paper Toward a generalization of the logic of grounding 2021-08-02...10 bytes (13 words) - 18:06, 24 September 2023
- Paper Planning with preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential...10 bytes (13 words) - 06:46, 9 December 2023
- Linear Temporal Logic in Model Checking and Games 2011-09-02 Paper The Cost of Traveling between Languages 2011-07-07 Paper Automata vs. Logics on Data Words...10 bytes (14 words) - 18:09, 11 December 2023
- in the Logic of Information Flows 2023-11-03 Paper DNAQL: a query language for DNA sticker complexes 2023-09-08 Paper SHACL: a description logic in disguise...10 bytes (17 words) - 22:15, 9 December 2023
- Semigroups 2008-09-09 Paper Logic Meets Algebra: the Case of Regular Languages 2007-10-11 Paper STACS 2004 2007-10-01 Paper Languages with Bounded Multiparty...10 bytes (13 words) - 15:49, 12 December 2023
- locally parsable languages 2016-12-19 Paper First-Order Logic Definability of Free Languages 2015-10-20 Paper Locally Chain-Parsable Languages 2015-09-16 Paper...10 bytes (13 words) - 11:04, 6 October 2023
- 2011-07-07 Paper Tree Languages Defined in First-Order Logic with One Quantifier Alternation 2010-12-20 Paper Transitive closure logic, nested tree walking...10 bytes (13 words) - 09:16, 6 October 2023
- with definitional trees 2022-12-09 Paper From Logic to Functional Logic Programs 2022-09-30 Paper Logic programs with equational type specifications 2022-08-16...10 bytes (14 words) - 06:17, 7 October 2023
- Propositional dynamic logic of context-free programs and fixpoint logic with chop 2010-01-29 Paper Model checking for hybrid logic 2010-01-06 Paper Solving...10 bytes (13 words) - 02:46, 25 September 2023
- Alternating-Time Temporal Logic 2011-03-28 Paper Graded Alternating-Time Temporal Logic 2011-01-07 Paper Parametric Metric Interval Temporal Logic 2010-05-26 Paper...10 bytes (15 words) - 01:25, 12 December 2023
- Paper Functional and Logic Programming 2007-09-25 Paper A compositional natural semantics and Hoare logic for low-level languages 2007-04-19 Paper Type...10 bytes (15 words) - 01:57, 25 September 2023
- 2018-08-15 Paper Separating regular languages with first-order logic 2018-04-23 Paper Separating Regular Languages with Two Quantifiers Alternations 2018-04-23...10 bytes (13 words) - 01:00, 7 October 2023
- first-order logic, and star-free propositional dynamic logic 2020-10-23 Paper Parameterized synthesis for fragments of first-order logic over data words...10 bytes (13 words) - 11:42, 7 October 2023
