Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)

Subjects: Automated Reasoning; Universal Reasoning; Semantic Embedding

  • Source: urn:isbn:978-3-319-70847-8 ; Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, 7-11 (2017-11-11);

تفاصيل العنوان

×
Conference

Universal plane curves and Simpson moduli spaces of 1-dimensional sheaves

Subjects: Simpson moduli spaces; coherent sheaves; vector bundles on curves

  • Source: 1st Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Liege, Belgium [BE], from 6-6-2012 to 8-6-2012

تفاصيل العنوان

×
Academic Journal

The Minor Order of Homomorphisms via Natural Dualities

Subjects: minor relation; minor poset; natural dualities

  • Source: Order: A Journal on the Theory of Ordered Sets and its Applications, 40, 99-125 (2023)

تفاصيل العنوان

×
  • 1-10 of  38 نتائج ل ""Universal""