pith. sign in

Uwe Wolter

Identifiers

  • name variant Uwe Wolter 0.60 · backfill

Papers (7)

  1. First-Order Sketch Conditions and Constraints -- A Category Independent Approach cs.LO · 2021 · author #1
  2. Logics of First-Order Constraints -- A Category Independent Approach cs.LO · 2021 · author #1
  3. Multilevel Typed Graph Transformations cs.SE · 2020 · author #1
  4. Time series of optical spectra of Nova V659 Sct astro-ph.SR · 2020 · author #4
  5. Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour cs.SE · 2019 · author #2
  6. Van Kampen Colimits and Path Uniqueness math.CT · 2017 · author #2
  7. Characterizing Van Kampen Squares via Descent Data cs.DM · 2012 · author #2

Mentions

  • 1710.09784 #2 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 2103.07558 #1 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 2101.01944 #1 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 2006.14052 #4 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 2006.14612 #1 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 1901.05754 #2 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 1209.1435 #2 · arxiv_oai · confidence 0.70 Uwe Wolter
  • 1209.1435 #2 · backfill · confidence 0.70 Uwe Wolter

Frequent Coauthors