24
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Affective Interactions : Towards a New Generation of Computer Interfaces 

      Operational semantics of OBJ-3

      other
      , ,
      Springer Berlin Heidelberg

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references18

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          Equations and Rewrite Rules: A Survey

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Complete Sets of Reductions for Some Equational Theories

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Completion of a Set of Rules Modulo a Set of Equations

                Bookmark

                Author and book information

                Book Chapter
                1988
                May 31 2005
                : 287-301
                10.1007/3-540-19488-6_123
                2a2bc4fb-ea4b-4254-b68f-953da5470284
                History

                Comments

                Comment on this book

                Book chapters

                Similar content2,976

                Cited by10