Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation 2009-12-18 Paper Neat reducts and amalgamation in...
    10 bytes (18 words) - 17:02, 11 December 2023
  • and uniform interpolation over the Grzegorczyk logic 2014-11-04 Paper Amalgamation, interpolation, and implicit definability in varieties of algebras 2014-10-07...
    10 bytes (19 words) - 17:35, 11 December 2023
  • Detection for Model Versioning Based on Graph Modifications 2010-10-04 Paper Consistent integration of models based on views of meta models 2010-05-28 Paper https://portal...
    10 bytes (16 words) - 13:48, 8 December 2023
  • 2010-10-04 Paper Multi-Amalgamation in Adhesive Categories 2010-10-04 Paper Reasoning with graph constraints 2010-05-28 Paper Consistent integration of models...
    10 bytes (17 words) - 11:43, 8 December 2023
  • 2004-06-14 Paper Unified field theory from enlarged transformation group. The consistent Hamiltonian 2004-02-03 Paper https://portal.mardi4nfdi.de/entity/Q4430699...
    10 bytes (19 words) - 14:16, 28 January 2024
  • reticulations 2018-10-26 Paper When is a phylogenetic network simply an amalgamation of two trees? 2018-10-24 Paper Quarnet inference rules for level-1 networks...
    10 bytes (16 words) - 06:12, 25 September 2023
  • metrics 2021-05-20 Paper Session types revisited 2017-09-28 Paper Causal-consistent rollback in a tuple-based language 2017-03-20 Paper Dynamic rebinding...
    10 bytes (16 words) - 10:58, 6 October 2023
  • 2018-10-08 Paper The standard lateral gene transfer model is statistically consistent for pectinate four-taxon trees 2018-10-04 Paper The impact and interplay...
    10 bytes (19 words) - 22:48, 8 December 2023
  • two characteristics of the shapes of cluster diagrams 1988-01-01 Paper Amalgamation of team tournaments 1988-01-01 Paper On maximal independent sets of nodes...
    10 bytes (19 words) - 11:00, 12 December 2023
  • Paper A categorical equivalence for product algebras 2015-07-02 Paper Amalgamation and interpolation in ordered algebras. 2014-07-25 Paper https://portal...
    10 bytes (17 words) - 15:59, 7 December 2023
  • polynomial of a graph 2006-12-07 Paper Hereditarily optimal realizations of consistent metrics 2006-06-28 Paper Mapping edge sets to splits in trees: the path...
    10 bytes (21 words) - 11:50, 8 December 2023
  • models up to the first measurable in ZFC 2024-01-31 Paper Lf groups, aec amalgamation, few automorphisms 2024-01-12 Paper General non-structure theory 2024-01-12...
    10 bytes (17 words) - 10:23, 8 December 2023
  • 2013-12-11 Paper Transplanting geometrical structures 2013-12-11 Paper Consistent amalgamation for þ-forking 2013-12-10 Paper New gaps between zeros of fourth-order...
    10 bytes (16 words) - 12:14, 7 October 2023
  • on the skew-spectral radii of oriented graphs 2013-12-11 Paper Consistent amalgamation for þ-forking 2013-12-10 Paper New gaps between zeros of fourth-order...
    10 bytes (15 words) - 00:48, 25 September 2023
  • 2010-07-08 Paper https://portal.mardi4nfdi.de/entity/Q3573964 2010-07-08 Paper Consistent invertibility and Weyl's theorem 2010-07-07 Paper https://portal.mardi4nfdi...
    10 bytes (16 words) - 07:42, 7 October 2023
  • https://doi.org/10.1016/j.apal.2013.06.021 zbMATH Keywords rosy theory; consistent amalgamation; þ-forking Mathematics Subject Classification ID 03C45: Classification...
    15 bytes (91 words) - 04:17, 30 January 2024
  • The mass spectrum and coupling in affine Toda theories. 2009-12-07 Paper Consistent quantization of the two-dimensional chiral Higgs model. 2009-12-07 Paper...
    10 bytes (15 words) - 21:03, 22 September 2023
  • Unnamed Item Unnamed Item Unnamed Item Unnamed Item Unnamed Item Consistent amalgamation for þ-forking Hypersurface-orthogonal generators of an orthogonally...
    15 bytes (187 words) - 03:21, 1 February 2024
  • Fuzzy \(\delta\)-\(\varepsilon\)-partitions. 2004-03-15 Paper Maximal consistent block technique for rule acquisition in incomplete information systems...
    10 bytes (15 words) - 12:30, 24 September 2023
  • Brave) zbMATH Keywords Beth's definability theorem; provability in all consistent normal extensions of GL Mathematics Subject Classification ID 03B45: Modal...
    15 bytes (80 words) - 18:14, 30 January 2024
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)