Semantics

Results: 7371



#Item
241

1 Non-deterministic Phase Semantics and the Undecidability of Boolean BI DOMINIQUE LARCHEY-WENDLING, LORIA – CNRS DIDIER GALMICHE, LORIA – University Henri Poincar´e We solve the open problem of the decidability of

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-03-15 21:53:30
    242

    Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-03-22 12:39:32
      243

      ARISTSemantics and Knowledge Organization Birger Hjørland Introduction: The importance of semantics for information science (IS) The aim of this chapter is to demonstrate that semantic issues underline all res

      Add to Reading List

      Source URL: eclass.aueb.gr

      - Date: 2010-02-18 12:51:21
        244

        Rulelog: Syntax and Semantics Benjamin Grosof Benjamin Grosof & Associates Michael Kifer Stony Brook University

        Add to Reading List

        Source URL: ruleml.org

        - Date: 2014-02-26 01:10:22
          245

          An Abstract Categorical Semantics for Functional Reactive Programming with Processes Wolfgang Jeltsch TTÜ Küberneetika Instituut Akadeemia tee 21, 12618 Tallinn, Estonia http://wolfgang.jeltsch.info/

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2014-01-07 13:07:33
            246

            Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2011-08-09 04:16:30
              247

              Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-03-17 14:06:02
                248

                The Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems Neelakantan R. Krishnaswami University of Birmingham <>

                Add to Reading List

                Source URL: conf.researchr.org

                  249

                  Introduction QPEL — Syntax and Semantics Qubits Conclusion Radboud Universiteit Nijmegen

                  Add to Reading List

                  Source URL: www.cs.ru.nl

                  - Date: 2014-06-19 09:32:54
                    250

                    Towards Best Practices for Crowdsourcing Ontology Alignment Benchmarks Reihaneh Amini, Michelle Cheatham, Pawel Grzebala, and Helena B. McCurdy Data Semantics Laboratory, Wright State University, Dayton, Ohio. {amini.2,

                    Add to Reading List

                    Source URL: disi.unitn.it

                    - Date: 2016-09-05 09:54:37
                      UPDATE