Semantics

Results: 7371



#Item
171

Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

Add to Reading List

Source URL: babel.ls.fi.upm.es

- Date: 2016-05-31 08:08:10
    172

    COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

    Add to Reading List

    Source URL: www.iub.edu

    - Date: 2009-04-04 22:10:32
      173

      A Semantics for Context-Sensitive Reduction Semantics Casey Klein1 , Jay McCarthy2 , Steven Jaconette1 , and Robert Bruce Findler1 1 2 Northwestern University

      Add to Reading List

      Source URL: www.eecs.northwestern.edu

      - Date: 2011-09-24 18:20:36
        174

        Extra! Extra! Semantics in comics!: The conceptual structure of Chicago Tribune advertisements

        Add to Reading List

        Source URL: visuallanguagelab.com

        - Date: 2014-01-08 19:10:33
          175

          Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-06-23 18:20:16
            176

            16 CPAdd Magnetization Transfer Ratio to Image Model Component Semantics for Parametric Maps 1

            Add to Reading List

            Source URL: dicom.nema.org

            - Date: 2015-11-10 11:33:00
              177

              Semantics of global view of choreographiesI Emilio Tuosto

              Add to Reading List

              Source URL: www.cs.le.ac.uk

              - Date: 2017-11-07 09:29:52
                178

                Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UK

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                - Date: 2009-08-22 10:16:19
                  179

                  THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES

                  Add to Reading List

                  Source URL: plt.eecs.northwestern.edu

                  - Date: 2010-03-12 16:21:49
                    180

                    Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ

                    Add to Reading List

                    Source URL: cimini.info

                    - Date: 2015-12-30 23:47:11
                      UPDATE