Search results
From MaRDI portal
- Boltzmann Sampling of Unlabelled Structures 2019-09-16 Paper Combinatorial specification of permutation classes 2019-05-24 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 03:42, 25 September 2023
- a finite specification: a dichotomy 2022-07-15 Paper Universal limits of substitution-closed permutation classes 2020-12-17 Paper Combinatorial specification...10 bytes (16 words) - 12:21, 7 October 2023
- Publication Date of Publication Type Combinatorial specification of permutation classes 2019-05-24 Paper 2-stack sorting is polynomial 2017-07-17 Paper...10 bytes (16 words) - 09:18, 7 October 2023
- Publication Date of Publication Type Combinatorial specifications for juxtapositions of permutation classes 2019-10-14 Paper Strong forms of stability...10 bytes (16 words) - 09:31, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q5377425 2019-05-24 Paper Combinatorial specification of permutation classes 2019-05-24 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 07:54, 7 October 2023
- two distributions of subgroups of free groups 2019-09-16 Paper Combinatorial specification of permutation classes 2019-05-24 Paper The Brownian limit of...10 bytes (16 words) - 12:21, 7 October 2023
- \(\mathrm{Av}(1324)\) and new bounds on its growth rate 2020-06-16 Paper Combinatorial specifications for juxtapositions of permutation classes 2019-10-14 Paper ZEROS...10 bytes (16 words) - 05:59, 7 October 2023
- 2014-12-16 Paper Hypermap Specification and Certified Linked Implementation Using Orbits 2014-09-08 Paper Formal specification and proofs for the topology...10 bytes (18 words) - 18:56, 11 December 2023
- 2016-02-23 Paper A new specification of generalized linear models for categorical responses 2016-01-08 Paper A new specification of generalized linear models...10 bytes (16 words) - 20:24, 9 December 2023
- zero-avoiding transition probabilities of an r-node tandem queue: a combinatorial approach 1994-02-17 Paper Lattice path approach to transient solution...10 bytes (18 words) - 08:28, 13 December 2023
- planar two-face maps 2002-09-25 Paper Combinatorial addition formulas and applications 2002-09-12 Paper The specification of 2-trees 2002-09-12 Paper Stirling...10 bytes (17 words) - 07:36, 9 December 2023
- Publication Date of Publication Type Combinatorial problems of high complexity and analysis of sketch images 2015-03-16 Paper About the elementary subgroup...10 bytes (18 words) - 23:43, 11 December 2023
- Publication Date of Publication Type RNA secondary structures with given motif specification: combinatorics and algorithms 2023-03-07 Paper The arithmetic topology...10 bytes (19 words) - 11:46, 8 December 2023
- economies 2020-05-11 Paper Truth revelation in approximately efficient combinatorial auctions 2015-12-07 Paper https://portal.mardi4nfdi.de/entity/Q2851806...10 bytes (18 words) - 00:36, 9 December 2023
- Publication Date of Publication Type Algebraic specification and development in geometric modeling 2022-11-02 Paper https://portal.mardi4nfdi.de/entity/Q2959926...10 bytes (16 words) - 04:34, 13 December 2023
- planar two-face maps 2002-09-25 Paper Combinatorial addition formulas and applications 2002-09-12 Paper The specification of 2-trees 2002-09-12 Paper Stirling...10 bytes (16 words) - 07:37, 9 December 2023
- An example from genetic sequence analysis 1990-01-01 Paper Geometric specification of scheduling constraints: A simplified approach to multiprocessing 1988-01-01...10 bytes (19 words) - 04:01, 13 December 2023
- lexicographic preference forests over combinatorial domains 2019-12-09 Paper Infinitary default logic for specification of nonmonotonic reasoning 2019-10-08...10 bytes (17 words) - 14:24, 10 December 2023
- formal logic approach to constrained combinatorial testing 2011-01-12 Paper On the order of test goals in specification-based testing 2009-07-29 Paper A Logic-Based...10 bytes (16 words) - 04:06, 7 October 2023
- de/entity/Q4531862 2002-05-23 Paper Functional specification and prototyping with oriented combinatorial maps 2000-09-04 Paper Formalizing mathematics in...10 bytes (16 words) - 14:35, 24 September 2023