Description
Springer Algebraic Cobordism by Marc Levine , Fabien Morel
Following Quillen's approach to complex cobordism, the authors introduce the notion of oriented cohomology theory on the category of smooth varieties over a fixed field. They prove the existence of a universal such theory (in characteristic 0) called Algebraic Cobordism. The book also contains some examples of computations and applications. I: Core Maude.- Using Maude.- Syntax and Basic Parsing.- Functional Modules.- A Hierarchy of Data Types: From Trees to Sets.- System Modules.- Playing with Maude.- Module Operations.- Predefined Data Modules.- Specifying Parameterized Data Structures in Maude.- Object-Based Programming.- Model Checking Invariants Through Search.- LTL Model Checking.- Reflection, Metalevel Computation, and Strategies.- Metaprogramming Applications.- Mobile Maude.- User Interfaces and Metalanguage Applications.- II: Full Maude.- Full Maude: Extending Core Maude.- Object-Oriented Modules.- III: Applications and Tools.- A Sampler of Application Areas.- Some Tools.- IV: Reference.- Debugging and Troubleshooting.- Complete List of Maude Commands.- Core Maude Grammar.