Search results
From MaRDI portal
- 2000-03-29 Paper Possible degrees in recursive copies. II 1997-12-08 Paper Quasi-simple relations in copies of a given recursive structure 1997-10-14 Paper Permitting...10 bytes (15 words) - 09:43, 6 October 2023
- 1999-11-08 Paper Possible degrees in recursive copies. II 1997-12-08 Paper Quasi-simple relations in copies of a given recursive structure 1997-10-14 Paper Permitting...10 bytes (15 words) - 18:37, 11 December 2023
- Paper Recursively Categorical Linear Orderings 1981-01-01 Paper Recursive isomorphism types of recursive Boolean algebras 1981-01-01 Paper Recursive Boolean...10 bytes (16 words) - 15:57, 9 December 2023
- Publication Type Classes of propositional UMU formulas and their extensions to minimal unsatisfiable formulas 2024-04-17 Paper NAE-resolution: A new resolution...10 bytes (15 words) - 10:49, 12 December 2023
- solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59] 2008-09-16 Paper Finite models constructed from canonical formulas 2007-12-03...10 bytes (15 words) - 18:19, 24 September 2023
- Changes in Subtree Varieties in Random Recursive and Binary Search Trees 2009-03-16 Paper Isolating nodes in recursive trees 2009-01-29 Paper Isolating a leaf...10 bytes (14 words) - 13:59, 10 December 2023
- Drug Shelf-life with Unknown Lot-to-lot Variability 2015-07-29 Paper Recursive formulas for multinomial probabilities with applications 2015-03-05 Paper Inferences...10 bytes (15 words) - 00:15, 12 December 2023
- 2021-10-20 Paper Time Series in Economics and Finance 2020-05-20 Paper Robust recursive estimation of GARCH models 2019-03-01 Paper On conditional covariance modelling:...10 bytes (13 words) - 11:12, 12 December 2023
- acquisition, and asset prices 2017-11-07 Paper Linked recursive preferences and optimality 2016-02-22 Paper A simple proof of functional Itô's lemma for semimartingales...10 bytes (13 words) - 02:32, 25 September 2023
- proofs for some symmetric quantified Boolean formulas 2018-10-19 Paper Symmetries of quantified Boolean formulas 2018-08-10 Paper D-finite numbers 2018-08-01...10 bytes (15 words) - 17:22, 11 December 2023
- integrals of the second kind 2022-04-28 Paper Several explicit and recursive formulas for generalized Motzkin numbers 2022-04-28 Paper Necessary and sufficient...10 bytes (15 words) - 11:37, 7 October 2023
- expansions by constants 2000-01-09 Paper The dense simple sets are orbit complete with respect to the simple sets 1999-11-08 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 22:13, 11 December 2023
- integrals of the second kind 2022-04-28 Paper Several explicit and recursive formulas for generalized Motzkin numbers 2022-04-28 Paper Completely monotonic...10 bytes (16 words) - 11:21, 24 September 2023
- for Entailment of Symbolic Heaps with Arrays 2022-12-09 Paper Monotone recursive definition of predicates and its realizability interpretation 2022-08-16...10 bytes (13 words) - 06:56, 7 October 2023
- logic is undecidable 2024-03-20 Paper Kripke Semantics for Intersection Formulas 2022-02-24 Paper https://portal.mardi4nfdi.de/entity/Q4993851 2021-06-10...10 bytes (15 words) - 12:36, 28 January 2024
- behaviour of recursive sequences 2015-08-11 Paper On conformal powers of the Dirac operator on Einstein manifolds 2015-08-03 Paper Summation formulas for GJMS-operators...10 bytes (16 words) - 08:34, 9 December 2023
- an extension of Abel-Gontscharoff’s expansion formula 2006-11-30 Paper Convergence of the summation formulas constructed by using a symbolic operator approach...10 bytes (17 words) - 19:02, 11 December 2023
- integer-manipulating programs with recursive parallelism 2018-11-23 Paper Decidability and Complexity of Tree Share Formulas 2018-04-19 Paper Decidable models...10 bytes (15 words) - 22:47, 10 December 2023
- Cauchy-Schwarz inequality for determinants: a simple proof 2024-10-08 Paper Spectrally accurate numerical quadrature formulas for a class of algebraically singular...10 bytes (13 words) - 00:59, 9 December 2023
- from the \(p\)-adic integral on \(\mathbb z_p\) 2012-10-06 Paper Simple recursive formulas generating power moments of Kloosterman sums 2012-10-06 Paper Duality...10 bytes (16 words) - 08:14, 9 December 2023
