Search results
From MaRDI portal
- theory I: The critical pair theory 2001-01-07 Paper An inverse theorem mod p 2000-10-05 Paper Subsets with a small sum. II: The critical pair problem 2000-08-03...10 bytes (18 words) - 10:48, 12 December 2023
- Type A categorical formulation for critical-pair/completion procedures 2023-03-09 Paper A categorical critical-pair completion algorithm 2000-03-08 Paper...10 bytes (16 words) - 09:28, 24 September 2023
- Publication Date of Publication Type Hyper-atoms applied to the critical pair theory 2020-02-26 Paper...10 bytes (18 words) - 09:04, 25 September 2023
- Publication Date of Publication Type Towards Critical Pair Analysis for the Graph Programming Language GP 2 2020-01-16 Paper...10 bytes (16 words) - 22:29, 27 December 2023
- Characterizing graphs of critical pairs of layered generalized crowns 2021-10-05 Paper Block circulant graphs and the graphs of critical pairs of crowns 2021-08-23...10 bytes (19 words) - 20:54, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q5111915 2020-05-27 Paper Confluence by critical pair analysis revisited 2020-03-10 Paper CSI: new evidence -- a progress report...10 bytes (16 words) - 03:41, 25 September 2023
- polynomial ideals over commutative noetherian rings 2017-11-17 Paper A critical pair criterion for completion modulo a congruence 2011-04-16 Paper Computational...10 bytes (16 words) - 14:16, 23 September 2023
- https://portal.mardi4nfdi.de/entity/Q5351972 2017-08-31 Paper Confluence by Critical Pair Analysis 2014-07-24 Paper Confluence: The Unifying, Expressive Power...10 bytes (16 words) - 13:00, 6 October 2023
- Characterizing graphs of critical pairs of layered generalized crowns 2021-10-05 Paper Block circulant graphs and the graphs of critical pairs of crowns 2021-08-23...10 bytes (18 words) - 13:47, 28 January 2024
- Characterizing graphs of critical pairs of layered generalized crowns 2021-10-05 Paper Block circulant graphs and the graphs of critical pairs of crowns 2021-08-23...10 bytes (16 words) - 15:46, 6 October 2023
- 2022-01-06 Paper Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality 2021-08-27 Paper A navigational logic...10 bytes (16 words) - 20:18, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q5111315 2020-05-26 Paper Confluence by critical pair analysis revisited 2020-03-10 Paper https://portal.mardi4nfdi.de/entity/Q5232901...10 bytes (17 words) - 03:19, 25 September 2023
- divisor domains 2015-10-13 Paper Pairs of sets with small sumset and small periodic product-set 2012-03-19 Paper Critical operators for the degree of the...10 bytes (16 words) - 10:25, 7 October 2023
- admissible critical pair without Lyapunov norm implies a tempered exponential dichotomy for Met-systems 2024-02-23 Paper A class of critical surfaces in...10 bytes (16 words) - 17:38, 6 October 2023
- de/entity/Q5111908 2020-05-27 Paper Confluence by critical pair analysis revisited 2020-03-10 Paper Development closed critical pairs 2019-01-11 Paper Finite family developments...10 bytes (18 words) - 00:41, 25 September 2023
- normal forms of nonlinear systems with a nonsemisimple critical mode. II. Imaginary eigenvalues pair 2001-07-08 Paper Computational matrix representation...10 bytes (17 words) - 09:31, 12 December 2023
- and quadrupolar properties of the spin-1 Blume–Emery–Griffiths model under pair approximation 2022-04-14 Paper Exact Analysis of Free Energy Surfaces for...10 bytes (16 words) - 11:40, 9 December 2023
- Paper Beyond mean field: on the role of pair excitations in the evolution of condensates 2014-12-12 Paper Pair excitations and the mean field approximation...10 bytes (18 words) - 16:03, 11 December 2023
- Impingement of a counter-rotating vortex pair on a wavy wall 2020-05-26 Paper Dynamics and Instabilities of Vortex Pairs 2016-09-08 Paper Determining the stability...10 bytes (20 words) - 12:22, 12 December 2023
- involving critical Sobolev exponents 2016-01-19 Paper Standing waves for a class of Kirchhoff type problems in \(\mathbb R^3\) involving critical Sobolev...10 bytes (16 words) - 23:08, 9 December 2023
