Fundamentals of algebraic specification 1 : Equations and initial semantics /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
New York : Springer-Verlag,
1985
|
| Subjects: |
| _version_ | 1796664998572851200 |
|---|---|
| author | 445928 Ehrig, H. Mahr, B. |
| author_facet | 445928 Ehrig, H. Mahr, B. |
| author_sort | 445928 Ehrig, H. |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T17:25:23Z |
| format | |
| id | KOHA-OAI-TEST:98925 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T17:25:23Z |
| publishDate | 1985 |
| publisher | New York : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:989252020-12-19T17:01:24ZFundamentals of algebraic specification 1 : Equations and initial semantics / 445928 Ehrig, H. Mahr, B. New York : Springer-Verlag,198541PSZJBLAlgebra, AbstractSemanticsLogic, Symbolic and mathematicalURN:ISBN:0387137181 |
| spellingShingle | Algebra, Abstract Semantics Logic, Symbolic and mathematical 445928 Ehrig, H. Mahr, B. Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title | Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title_full | Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title_fullStr | Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title_full_unstemmed | Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title_short | Fundamentals of algebraic specification 1 : Equations and initial semantics / |
| title_sort | fundamentals of algebraic specification 1 equations and initial semantics |
| topic | Algebra, Abstract Semantics Logic, Symbolic and mathematical |
| work_keys_str_mv | AT 445928ehrigh fundamentalsofalgebraicspecification1equationsandinitialsemantics AT mahrb fundamentalsofalgebraicspecification1equationsandinitialsemantics |