Rewriting

Results: 653



#Item
51

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
    52

    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
      53

      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
        54

        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
          55

          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
            56

            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
              57

              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
                58

                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
                  59

                  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
                    60

                    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
                      UPDATE