Semantics

Results: 7371



#Item
131

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:21:35
    132

    The Properties of Property Alignment Michelle Cheatham and Pascal Hitzler Data Semantics (DaSe) Laboratory, Wright State University, Dayton OH 45435, USA Abstract. The performance of alignment systems on property matchin

    Add to Reading List

    Source URL: www.dit.unitn.it

    Language: English - Date: 2014-08-15 14:59:48
      133

      Modeling and Managing the Semantics of Geospatial Data and Services • Werner Kuhn, Martin Raubal, Michael Lutz Institute for Geoinformatics

      Add to Reading List

      Source URL: www.ncgia.ucsb.edu

      Language: English - Date: 2015-10-21 13:20:50
        134

        Explaining presupposition projection with dynamic semantics∗ Daniel Rothschild All Souls College, Oxford ReceivedFirst DecisionRevision ReceivedSecond DecisionRev

        Add to Reading List

        Source URL: danielrothschild.com

        Language: English - Date: 2018-07-18 08:58:19
          135

          Selection Function Semantics for Will Fabrizio Cariani1 and Paolo Santorio2∗ 1 Northwestern University, Evanston, Illinois, U.S.A.

          Add to Reading List

          Source URL: paolosantorio.net

          Language: English - Date: 2015-12-01 15:34:34
            136

            Preferred Semantics as Socratic Discussion Martin Caminada1 , University of Aberdeen, Department of Computing Science, Meston Walk, Aberdeen AB24 3UE, United Kingdom E-mail:

            Add to Reading List

            Source URL: www.cril.univ-artois.fr

            Language: English - Date: 2017-04-03 10:39:30
              137

              Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

              Add to Reading List

              Source URL: boole.stanford.edu

              Language: English - Date: 2005-01-09 13:06:44
                138

                Constructive semantics of Univalence Dependent type theory Γ, ∆

                Add to Reading List

                Source URL: www.cse.chalmers.se

                Language: English - Date: 2016-05-01 04:38:08
                  139

                  Ranking Arguments With Compensation-Based Semantics Leila Amgoud1 Jonathan Ben-Naim1 Dragan Doder2

                  Add to Reading List

                  Source URL: www.cril.univ-artois.fr

                  Language: English - Date: 2016-04-20 18:03:45
                    140

                    Review: On Linguistic Semantics and Linguistic Subdisciplines: A Review Article Author(s): Joel Sherzer Reviewed work(s): Studies in Linguistic Semantics by Charles J. Fillmore ;D. Terrence Langendoen Linguistics: Develo

                    Add to Reading List

                    Source URL: dingo.sbs.arizona.edu

                    Language: English - Date: 2009-05-13 15:57:55
                      UPDATE