Rewriting

Results: 653



#Item
51Designing Arithmetic Digital Circuits via Rewriting-Logic∗ Mauricio Ayala-Rinc´on† Reiner W. Hartenstein‡ Carlos H. Llanos¶

Designing Arithmetic Digital Circuits via Rewriting-Logic∗ Mauricio Ayala-Rinc´on† Reiner W. Hartenstein‡ Carlos H. Llanos¶

Add to Reading List

Source URL: helios.informatik.uni-kl.de

- Date: 2013-04-27 06:48:06
    52Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, HN ) ⋆ Query Rewriting in DL-Litehorn

    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, HN ) ⋆ Query Rewriting in DL-Litehorn

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2010-04-20 14:40:19
      53More Problems in Rewriting? Nachum Dershowitz1 , Jean-Pierre Jouannaud2 , and Jan Willem Klop3 1 Department of Computer Science, University of Illinois, 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A,

      More Problems in Rewriting? Nachum Dershowitz1 , Jean-Pierre Jouannaud2 , and Jan Willem Klop3 1 Department of Computer Science, University of Illinois, 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A,

      Add to Reading List

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

      - Date: 2005-03-20 12:18:42
        54Open Problems in Rewriting Nachum Dershowitz Department of Computer Science, University of Illinois 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A.

        Open Problems in Rewriting Nachum Dershowitz Department of Computer Science, University of Illinois 1304 West Spring eld Avenue, Urbana, IL 61801, U.S.A.

        Add to Reading List

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

        - Date: 2005-03-20 12:18:42
          55Effective Query Rewriting with Ontologies over DBoxes (extended abstract)? İnanç Seylan and Enrico Franconi and Jos de Bruijn Free University of Bozen-Bolzano, Italy {seylan,franconi,debruijn}@inf.unibz.it

          Effective Query Rewriting with Ontologies over DBoxes (extended abstract)? İnanç Seylan and Enrico Franconi and Jos de Bruijn Free University of Bozen-Bolzano, Italy {seylan,franconi,debruijn}@inf.unibz.it

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2009-07-07 04:46:34
            56Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

            Rewriting Ontological Queries into Small Nonrecursive Datalog Programs? Georg Gottlob1 and Thomas Schwentick2 1 Department of Computer Science, University of Oxford

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2011-06-28 16:30:18
              57Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

              Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

              Add to Reading List

              Source URL: www.mat.unb.br

              - Date: 2004-07-19 17:54:10
                58Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

                Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems Max Kanovich1,5 Tajana Ban Kirigin2 Vivek Nigam3 Andre Scedrov4,5 and Carolyn Talcott6 1

                Add to Reading List

                Source URL: nigam.info

                - Date: 2016-06-23 07:42:17
                  59Aachen Department of Computer Science Technical Report Static Termination Analysis for Prolog using Term Rewriting and SAT Solving

                  Aachen Department of Computer Science Technical Report Static Termination Analysis for Prolog using Term Rewriting and SAT Solving

                  Add to Reading List

                  Source URL: sunsite.informatik.rwth-aachen.de

                  - Date: 2008-12-10 05:26:29
                    60Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie

                    Higher-Order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages Bernhard Hoisl1,2 , Stefan Sobernig1 , and Mark Strembeck1,2 1 Institute for Information Systems and New Media, WU Vie

                    Add to Reading List

                    Source URL: wi.wu.ac.at

                    - Date: 2015-02-14 09:46:18