Răzvan Diaconescu – författare
Visar alla böcker från författaren Răzvan Diaconescu. Handla med fri frakt och snabb leverans.
7 produkter
Institution-independent Model Theory
Inbunden, 2025
1512 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Institution-independent Model Theory
E-bok, 2025
1906 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Institution-independent Model Theory
Häftad, 2026
1512 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. …
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Av Mihai Codescu, Răzvan Diaconescu m. fl.
Häftad, 2015
437 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus …
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Av Ionut Tutu, Razvan Diaconescu m. fl.
E-bok, 2015
553 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the 22 nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania. The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus …
Institution-independent Model Theory
E-bok, 2008
1459 kr
Lägg i varukorg
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially …
Institution-independent Model Theory
Häftad, 2008
1309 kr
Tillfälligt slut
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially …
