Search results
From MaRDI portal
- \(\mathbf{IPC}^+\) 2013-11-29 Paper Writing out unifiers for formulas with coefficients in intuitionistic logic 2013-06-11 Paper Unifiers in transitive modal logics for...10 bytes (19 words) - 17:23, 11 December 2023
- gas-particle system 2022-04-11 Paper Unified gas-kinetic wave-particle methods. III: Multiscale photon transport 2022-04-08 Paper Unified Gas-Kinetic Wave-Particle...10 bytes (16 words) - 14:53, 7 December 2023
- Publication Date of Publication Type Filtering unification and most general unifiers in modal logic 2005-08-29 Paper Corrigendum to “Kripke‐style semantics...10 bytes (16 words) - 15:03, 24 September 2023
- Paper Eliminating dependent pattern matching without K 2017-10-23 Paper Unifiers as equivalences: proof-relevant unification of dependently typed data 2017-05-10...10 bytes (16 words) - 03:05, 25 September 2023
- Recursively Defined Subtypes 2023-01-24 Paper An algorithm for the retrieval of unifiers from discrimination trees 2019-10-08 Paper A classification of non-liftable...10 bytes (18 words) - 11:26, 6 October 2023
- optimization 2019-07-24 Paper Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor 2016-12-15...10 bytes (18 words) - 19:48, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q3773320 1987-01-01 Paper Complete sets of unifiers and matchers in equational theories 1986-01-01 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 01:05, 13 December 2023
- Non-commutativity in unified theories and gravity 2019-03-20 Paper The LHC Higgs boson discovery: updated implications for finite unified theories and the...10 bytes (16 words) - 15:54, 7 December 2023
- implications for finite unified theories and the SUSY breaking scale 2018-08-13 Paper Reduction of parameters in finite unified theories and the MSSM 2018-02-22...10 bytes (16 words) - 15:30, 7 December 2023
- Disunification 2017-04-11 Paper Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor 2016-12-15...10 bytes (16 words) - 19:48, 6 October 2023
- Paper Eliminating dependent pattern matching without K 2017-10-23 Paper Unifiers as equivalences: proof-relevant unification of dependently typed data 2017-05-10...10 bytes (16 words) - 02:06, 25 September 2023
- 1993-05-16 Paper A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta...10 bytes (16 words) - 13:27, 7 October 2023
- a Freely Falling Thick Disk 2021-10-11 Paper A velocity-space adaptive unified gas kinetic scheme for continuum and rarefied flows 2020-08-25 Paper Multiple...10 bytes (17 words) - 14:16, 11 December 2023
- in dielectrics 2018-11-05 Paper Unified integral formulae pertaining to elliptic-type integrals 2015-02-06 Paper A unified elliptic-type integral and associated...10 bytes (18 words) - 18:40, 11 December 2023
- 2016-01-22 Paper A new multisymplectic unified formalism for second order classical field theories 2015-11-02 Paper Unified formalism for the generalized kth-order...10 bytes (20 words) - 03:28, 13 December 2023
- Paper A unified approach to the global exactness of penalty and augmented Lagrangian functions. I: Parametric exactness 2018-05-24 Paper A unified approach...10 bytes (18 words) - 15:38, 10 December 2023
- 2016-01-06 Paper Unifying Theories of Undefinedness in UTP 2015-12-11 Paper Circus Time with Reactive Designs 2015-12-11 Paper Unifying Theories of Programming...10 bytes (21 words) - 22:27, 11 December 2023
- Apostol-type numbers and polynomials and their applications 2016-04-20 Paper A unified presentation of certain meromorphic functions related to the families of...10 bytes (16 words) - 12:31, 28 January 2024
- Gas-Kinetic Unified Algorithm 2021-10-28 Paper Numerical Simulations of Unsteady Flows From Rarefied Transition to Continuum Using Gas-Kinetic Unified Algorithm...10 bytes (17 words) - 23:33, 12 December 2023
- problems 2017-11-22 Paper Erratum to ``A unified approach to multiple stopping and duality 2012-11-08 Paper A unified approach to multiple stopping and duality...10 bytes (18 words) - 00:21, 12 December 2023
