scientific article; zbMATH DE number 4005603

MaRDI QIDQ3756510zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 1985

zbMATH Keywords

completeness theoremsalgorithmic logicinteracting stackscategorical formalizations of theories of stacks

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Stacks and D-brane bundles
• A Higher Stacky Perspective on Chern–Simons Theory
• Interacting theory of collective and topological fields in 2 dimensions
• Integrable quantum Stäckel systems
• Interactions on manifolds and the construction of material structure
• Mass models with Stackel potentials
• Stacks in representation theory
• Topological interactions in a Boltzmann-type framework
• Stacking non-BPS D-branes

Cited in

(1)

• The expressive theory of stacks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3756510)