Search results
From MaRDI portal
- de/entity/Q3838763 1999-01-04 Paper Equational unification, word unification, and 2nd-order equational unification 1998-08-13 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 11:53, 8 December 2023
- Rewriting with generalized nominal unification 2020-12-08 Paper A note on unification, subsumption and unification type 2020-06-04 Paper https://portal...10 bytes (19 words) - 13:00, 11 December 2023
- Publication Type AC-complete unification and its application to theorem proving 2022-12-09 Paper “Syntactic” AC-unification 2022-08-16 Paper A partial solution...10 bytes (16 words) - 02:16, 13 December 2023
- de/entity/Q5039110 2022-10-12 Paper About the unification type of \(\mathbf{K}+\square \square \bot\) 2022-05-04 Paper About the unification type of modal logics between...10 bytes (16 words) - 01:16, 13 December 2023
- Publication Type Nominal Unification and Matching of Higher Order Expressions with Recursive Let 2022-05-16 Paper Nominal unification with letrec and environment-variables...10 bytes (20 words) - 18:27, 13 December 2023
- Paper String unification, higher-level gauge symmetries, and exotic hypercharge normalizations 1996-04-24 Paper Gauge coupling unification in realistic...10 bytes (18 words) - 15:51, 7 December 2023
- forces unification 2018-10-05 Paper Operator-valued tensors on manifolds 2017-10-25 Paper Application of Lie algebroid structures to unification of Einstein...10 bytes (16 words) - 00:51, 12 December 2023
- STRUCTURED SPACES 2008-08-12 Paper Conceptual unification of gravity and quanta 2007-11-21 Paper Noncommutative unification of general relativity and quantum mechanics...10 bytes (16 words) - 05:24, 12 December 2023
- application to general relativity and unification 2013-01-11 Paper Affine metrics: An structure for unification of gravitation and electromagnetism 2011-04-05...10 bytes (16 words) - 00:51, 12 December 2023
- constant as a boundary term 2023-01-09 Paper Probing the scale of grand unification with gravitational waves 2021-09-22 Paper Tachyon condensation in magnetic...10 bytes (17 words) - 14:14, 8 December 2023
- coupling unification 2015-04-20 Paper Higgs and sparticle spectroscopy with Gauge-Yukawa unification 2014-10-27 Paper \(T - b - \tau\) Yukawa unification for...10 bytes (16 words) - 13:13, 8 December 2023
- supersymmetric QCD 2023-02-19 Paper Fermion mass hierarchy in grand gauge-Higgs unification 2021-10-15 Paper Cancellation of one-loop corrections to scalar masses...10 bytes (16 words) - 18:11, 8 December 2023
- criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms 2017-11-17 Paper A simple...10 bytes (18 words) - 18:04, 9 December 2023
- 2015-04-29 Paper Projective formulas and unification in linear temporal logic LTLU 2015-02-12 Paper Unification and admissible rules for paraconsistent...10 bytes (19 words) - 17:23, 11 December 2023
- Paper A Certified Functional Nominal C-Unification Algorithm 2022-08-25 Paper Formalising nominal C-unification generalised with protected variables 2022-01-20...10 bytes (19 words) - 16:39, 12 December 2023
- Paper Associative unification and symbolic reasoning modulo associativity in Maude 2023-07-28 Paper Variant-based equational anti-unification 2023-06-02 Paper...10 bytes (16 words) - 02:26, 12 December 2023
- to the unification of quanta and gravity: a finite model 2005-08-19 Paper Erratum to: ``Observables in a noncommutative approach to the unification of quanta...10 bytes (16 words) - 08:04, 13 December 2023
- de/entity/Q3484383 1990-01-01 Paper Unification theory 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3804235 1988-01-01 Paper Unification in abelian semigroups...10 bytes (18 words) - 02:40, 13 December 2023
- singularities 2008-12-08 Paper Conceptual unification of gravity and quanta 2007-11-21 Paper Noncommutative unification of general relativity and quantum mechanics...10 bytes (18 words) - 06:38, 12 December 2023
- feature structures and unification algorithms. II 2002-03-11 Paper A set-theoretic approach to linguistic feature structures and unification algorithms. I. 2000-01-01...10 bytes (18 words) - 05:10, 9 December 2023
