Search results
From MaRDI portal
- or not to fight? That is the question 1999-05-26 Paper Dominance elimination procedures on finite alternative games 1983-01-01 Paper Dominance Solvable...10 bytes (17 words) - 07:34, 13 December 2023
- solving by lifting procedures for ramified fibers 2004-08-06 Paper On the time-space complexity of geometric elimination procedures 2001-07-22 Paper Deformation...10 bytes (16 words) - 00:42, 9 December 2023
- Publication Date of Publication Type Action Elimination Procedures for Modified Policy Iteration Algorithms 1982-01-01 Paper Modified Policy Iteration...10 bytes (18 words) - 12:21, 14 March 2024
- Publication Type Iterated bounded dominance 2024-01-19 Paper Iterated elimination procedures 2020-10-21 Paper Rationalizability in general situations 2016-02-08...10 bytes (16 words) - 01:59, 25 September 2023
- and sequential equilibrium: an extension 2021-12-13 Paper Iterated elimination procedures 2020-10-21 Paper...10 bytes (16 words) - 23:08, 24 September 2023
- Schematic Cut Elimination and the Ordered Pigeonhole Principle 2016-09-05 Paper Cut-Elimination and Proof Schemata 2015-12-03 Paper Cut-elimination: syntax and...10 bytes (17 words) - 16:27, 7 December 2023
- equations with van der Waals type potentials 2021-01-19 Paper Iterated elimination procedures 2020-10-21 Paper Existence and stability of standing waves for a...10 bytes (16 words) - 01:53, 9 December 2023
- efficient calculation of special functions by asymptotic expansions and elimination procedures) 1988-01-01 Paper A note on the approximation of the incomplete...10 bytes (16 words) - 22:09, 8 December 2023
- The use of lemmas in the model elimination procedure 1997-09-17 Paper Near-Horn Prolog and the ancestry family of procedures 1996-11-24 Paper SATCHMORE: SATCHMO...10 bytes (19 words) - 16:04, 10 December 2023
- time-space complexity of geometric elimination procedures 2001-07-22 Paper Probabilistic algorithms for geometric elimination 2000-04-03 Paper Time-space tradeoffs...10 bytes (16 words) - 00:42, 9 December 2023
- Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus 2008-05-27 Paper Call-by-name reduction and cut-elimination in classical logic...10 bytes (16 words) - 14:50, 24 September 2023
- Queuing Systems with Controlled Arrivals 1983-01-01 Paper Action Elimination Procedures for Modified Policy Iteration Algorithms 1982-01-01 Paper On the...10 bytes (19 words) - 10:02, 13 December 2023
- Publication Date of Publication Type Mathematical proof of a harmonic elimination procedure for multilevel inverters 2021-03-06 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 11:35, 13 December 2023
- patterns: the ``moving room paradigm 1991-01-01 Paper A systematic elimination procedure for Ito stochastic differential equations and the adiabatic approximation...10 bytes (17 words) - 20:21, 12 December 2023
- Clause Elimination Procedures for CNF Formulas 2010-10-12 Paper Exact DFA Identification Using SAT Solvers 2010-09-10 Paper Blocked Clause Elimination 2010-04-27...10 bytes (20 words) - 13:01, 11 December 2023
- de/entity/Q2734988 2002-02-07 Paper On the time-space complexity of geometric elimination procedures 2001-07-22 Paper https://portal.mardi4nfdi.de/entity/Q4524451 2001-07-03...10 bytes (16 words) - 00:42, 9 December 2023
- inversion problem for nonlinear systems 1995-06-29 Paper A modified elimination procedure in nonlinear algebraic control theory 1994-10-12 Paper...10 bytes (18 words) - 01:41, 28 December 2023
- Publication Date of Publication Type Mathematical proof of a harmonic elimination procedure for multilevel inverters 2021-03-06 Paper...10 bytes (16 words) - 22:18, 24 September 2023
- Publication Date of Publication Type Mathematical proof of a harmonic elimination procedure for multilevel inverters 2021-03-06 Paper Finite element modelling...10 bytes (16 words) - 22:18, 24 September 2023
- Publication Date of Publication Type A formally verified cut-elimination procedure for linear nested sequents for tense logic 2022-05-25 Paper...10 bytes (16 words) - 01:25, 25 September 2023
