Search results
From MaRDI portal
- rewriting in data exchange 2013-12-19 Paper Graph Logics with Rational Relations 2013-09-06 Paper Regular Expressions with Binding over Data Words for Querying...10 bytes (19 words) - 01:39, 10 December 2023
- Checking for MTL and TPTL over Data Words 2015-11-10 Paper Verification for Timed Automata extended with Unbounded Discrete Data Structures 2015-10-29 Paper...10 bytes (16 words) - 07:16, 12 December 2023
- expressions for data words 2015-07-13 Paper REGULAR EXPRESSIONS FOR QUERYING DATA GRAPHS 2015-04-23 Paper Using variable automata for querying data graphs 2014-12-15...10 bytes (16 words) - 17:43, 6 October 2023
- Binding over Data Words for Querying Graph Databases 2013-06-28 Paper Feasible Automata for Two-Variable Logic with Successor on Data Words 2012-06-08 Paper...10 bytes (17 words) - 22:16, 24 September 2023
- on data words 2018-09-24 Paper https://portal.mardi4nfdi.de/entity/Q4608573 2018-03-21 Paper Weighted Register Automata and Weighted Logic on Data Words...10 bytes (16 words) - 19:46, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5740501 2016-07-26 Paper Two-variable logic on data words 2015-09-17 Paper XML Schema Mappings 2014-09-12 Paper Deciding Definability...10 bytes (16 words) - 11:35, 12 December 2023
- Walking on data words 2017-01-18 Paper Definability and Transformations for Cost Logics and Automatic Structures 2014-10-14 Paper Walking on Data Words 2013-06-14...10 bytes (16 words) - 09:44, 7 October 2023
- logic on data words 2018-09-24 Paper Multi-weighted automata and MSO logic 2017-01-18 Paper Weighted Register Automata and Weighted Logic on Data Words 2016-12-21...10 bytes (16 words) - 09:44, 7 October 2023
- de/entity/Q5367058 2017-10-12 Paper Path Checking for MTL and TPTL over Data Words 2015-11-10 Paper Satisfiability of ECTL* with Tree Constraints 2015-10-20...10 bytes (16 words) - 10:00, 25 September 2023
- de/entity/Q2978554 2017-04-25 Paper Expressiveness of Hybrid Temporal Logic on Data Words 2016-10-07 Paper https://portal.mardi4nfdi.de/entity/Q5407362 2014-04-07...10 bytes (16 words) - 11:54, 7 October 2023
- Walking on Data Words 2013-06-14 Paper https://portal.mardi4nfdi.de/entity/Q3113783 2012-01-23 Paper On the Use of Guards for Logics with Data 2011-08-17...10 bytes (16 words) - 10:06, 6 October 2023
- 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 trees and...10 bytes (17 words) - 07:50, 9 December 2023
- Paper Parameterized synthesis for fragments of first-order logic over data words 2020-09-23 Paper...10 bytes (16 words) - 11:17, 6 October 2023
- rigidly guarded data tests 2015-10-29 Paper On the Use of Guards for Logics with Data 2011-08-17 Paper Automata vs. Logics on Data Words 2010-09-03 Paper...10 bytes (16 words) - 06:43, 7 October 2023
- 2016-06-10 Paper Ordered Navigation on Multi-attributed Data Words 2014-09-15 Paper Learning Transparent Data Automata 2014-07-08 Paper...10 bytes (16 words) - 02:23, 7 October 2023
- 2016-06-10 Paper Ordered Navigation on Multi-attributed Data Words 2014-09-15 Paper Learning Transparent Data Automata 2014-07-08 Paper Don’t Know for Multi-valued...10 bytes (16 words) - 12:11, 6 October 2023
- mardi4nfdi.de/entity/Q4963999 2021-02-24 Paper Playing with Repetitions in Data Words Using Energy Games 2021-01-20 Paper https://portal.mardi4nfdi.de/entity/Q3300789...10 bytes (16 words) - 12:19, 24 September 2023
- matrices 1970-01-01 Paper Single-error-correcting codes for constant-weight data words 1965-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5608486 1965-01-01...10 bytes (16 words) - 12:21, 7 October 2023
- Multi-Pushdown Systems via Split-Width 2012-09-25 Paper Model Checking Languages of Data Words 2012-06-22 Paper Temporal Logics for Concurrent Recursive Programs: Satisfiability...10 bytes (16 words) - 13:44, 28 January 2024
- asynchronous shared-memory systems 2017-05-15 Paper Regular Transformations of Data Words Through Origin Information 2016-06-10 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 12:20, 7 October 2023
