Search results
From MaRDI portal
- Publication Type Effective categoricity of automatic equivalence and nested equivalence structures 2020-08-26 Paper The Arithmetical Hierarchy in the Setting...10 bytes (13 words) - 16:02, 12 December 2023
- 2021-02-16 Paper Effective categoricity of automatic equivalence and nested equivalence structures 2020-08-26 Paper On the complexity of index sets for...10 bytes (13 words) - 08:05, 6 October 2023
- 2021-06-15 Paper Effective categoricity of automatic equivalence and nested equivalence structures 2020-08-26 Paper A method to compute the sparse graphs...10 bytes (16 words) - 15:57, 9 December 2023
- Earliest Query Answering for Deterministic Nested Word Automata 2009-10-20 Paper Equivalence of Deterministic Nested Word to Word Transducers 2009-10-20 Paper...10 bytes (13 words) - 18:06, 24 September 2023
- context of nested databases 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3829370 1988-01-01 Paper Multilevel nested relational structures 1988-01-01...10 bytes (15 words) - 00:52, 9 December 2023
- and Nested Class Memory Automata 2016-04-08 Paper A Contextual Equivalence Checker for IMJ* 2016-01-08 Paper Game Semantic Analysis of Equivalence in IMJ...10 bytes (15 words) - 13:43, 6 October 2023
- Incremental Abstract Interpretation 2020-07-20 Paper Deciding equivalence of separated non-nested attribute systems in polynomial time 2020-01-28 Paper Least...10 bytes (13 words) - 22:29, 11 December 2023
- ON RECTANGULAR GRIDS 2015-06-05 Paper Lipschitz equivalence of self-similar sets with touching structures 2014-07-03 Paper The ``hot spots conjecture on...10 bytes (15 words) - 02:27, 7 October 2023
- Subcontinuity for multifunctions 1975-01-01 Paper The Structure of Nested Spaces 1975-01-01 Paper On the equivalence of certain coincidence theorems and fixed point...10 bytes (15 words) - 20:17, 12 December 2023
- Lipschitz equivalence of a class of self-similar sets with complete overlaps 2012-09-05 Paper Lipschitz equivalence of fractals generated by nested cubes 2012-08-13...10 bytes (13 words) - 21:32, 10 December 2023
- to skeletal structures, II: Geometry in the Blum case 2005-03-07 Paper Smoothness and geometry of boundaries associated to skeletal structures I: sufficient...10 bytes (14 words) - 17:42, 9 December 2023
- Paper Nested Pebbles and Transitive Closure 2008-03-19 Paper https://portal.mardi4nfdi.de/entity/Q5431915 2008-01-02 Paper Automata with Nested Pebbles...10 bytes (13 words) - 02:23, 9 December 2023
- factorial treatment structures with two factors 2022-05-20 Paper Incomplete row-column designs with factorial treatment structure for estimating main effects...10 bytes (15 words) - 09:50, 11 December 2023
- 2020-01-30 Paper Deciding equivalence of separated non-nested attribute systems in polynomial time 2020-01-28 Paper Equivalence of Deterministic Top-Down...10 bytes (13 words) - 00:39, 10 December 2023
- hierarchy of classes for nested databases 1990-01-01 Paper A uniform approach toward handling atomic and structured information in the nested relational database...10 bytes (13 words) - 14:47, 10 December 2023
- oritatami systems and hardness of testing their equivalence 2023-11-30 Paper DNA origami words, graphical structures and their rewriting systems 2023-09-08 Paper...10 bytes (13 words) - 05:39, 7 October 2023
- Noncrossing partitions, toggles, and homomesies 2016-12-06 Paper RNA secondary structures: combinatorial models and folding algorithms 2016-06-10 Paper Dynamics...10 bytes (14 words) - 11:01, 6 October 2023
- 2024-09-06 Paper A formally verified cut-elimination procedure for linear nested sequents for tense logic 2022-05-25 Paper Machine-Checked Proof-Theory for...10 bytes (15 words) - 21:37, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q3696346 1984-01-01 Paper Testing nested or non-nested hypotheses 1983-01-01 Paper Likelihood Ratio Test, Wald Test, and...10 bytes (13 words) - 01:58, 10 December 2023
- 2019-12-17 Paper In memoriam Paris C. Kanellakis 2019-08-09 Paper Computing on structures 2019-03-29 Paper https://portal.mardi4nfdi.de/entity/Q5276189 2017-07-14...10 bytes (15 words) - 02:03, 10 December 2023
