Lucas

Results: 3768



#Item
101

A Semantic Approach to the Analysis of Rewriting-Based Systems Salvador Lucas DSIC, Universitat Polit` ecnica de Val` encia, Spain

Add to Reading List

Source URL: www.sci.unich.it

- Date: 2017-10-23 05:15:07
    102

    A Semantic Criterion for Proving Infeasibility in Conditional Rewriting ∗ Salvador Lucas and Ra´ ul Guti´errez DSIC, Universitat Polit`ecnica de Val`encia, Spain

    Add to Reading List

    Source URL: cl-informatik.uibk.ac.at

    - Date: 2017-09-12 04:41:19
      103

      Downloaded from rstb.royalsocietypublishing.org on May 28, 2012 Linking social complexity and vocal complexity: a parid perspective Indrikis Krams, Tatjana Krama, Todd M. Freeberg, Cecilia Kullberg and Jeffrey R. Lucas

      Add to Reading List

      Source URL: web.utk.edu

      - Date: 2012-05-28 03:06:56
        104

        Lucas K. Law, Publisher Laksa Media Groups Inc. PO BoxCalgary, AB T1Y 5T4

        Add to Reading List

        Source URL: laksamedia.com

        - Date: 2017-12-30 08:45:54
          105

          Accurate emulation of CPU performance Tomasz Buchert1 Lucas Nussbaum2 1

          Add to Reading List

          Source URL: hal.inria.fr

          - Date: 2014-10-04 19:07:42
            106

            Texas Academic Decathlon Region II - Ysleta HS - Billye Lucas/Carolyn Mackey January 19-20, UPDATED:

            Add to Reading List

            Source URL: www.txacadec.org

            - Date: 2017-09-28 18:35:00
              107

              Methods for Emulation of Multi-Core CPU Performance Tomasz Buchert1 Lucas Nussbaum2

              Add to Reading List

              Source URL: hal.inria.fr

              - Date: 2014-10-04 19:07:36
                108

                Lucas K. Law, Publisher Laksa Media Groups Inc. PO BoxCalgary, AB T1Y 5T4

                Add to Reading List

                Source URL: laksamedia.com

                - Date: 2017-12-30 08:46:53
                  109

                  A Semantic Criterion for Proving Infeasibility in Conditional Rewriting Salvador Lucas Ra´ ul Guti´errez

                  Add to Reading List

                  Source URL: cl-informatik.uibk.ac.at

                  - Date: 2017-09-12 04:41:19
                    110

                    Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants? Alessandro Abate1 , Iury Bessa2 , Dario Cattaruzza1 , Lucas Cordeiro1,2 , Cristina David1 , Pascal Kesseli1 , Daniel Kroening1 , and Eliz

                    Add to Reading List

                    Source URL: arxiv.org

                    - Date: 2017-05-08 23:51:14
                      UPDATE