نتائج البحث

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion

• Authors : Maja Hanne Kirkeby; Maria Bendix Mikkelsen; Robert Glück

Subjects: FOS: Computer and information sciences; Class (set theory); Computer Science - Programming Languages

• Source: VPT@ETAPS

تفاصيل العنوان

Revisiting Graph Types in HyperLMNtal: A Modeling Language for Hypergraph Rewriting

• Authors : Kazunori Ueda; Alimujiang Yasen

Subjects: Hypergraph; Theoretical computer science; General Computer Science

• Source: IEEE Access, Vol 9, Pp 133449-133460 (2021)

تفاصيل العنوان

Rewriting with Acyclic Queries: Mind Your Head

• Authors : Geck, Gaetano; Keppeler, Jens; Schwentick, Thomas

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; acyclic conjunctive queries

تفاصيل العنوان

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting

• Authors : Lochmann, Alexander; Middeldorp, Aart

Subjects: Formalization; TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES; First-order theory of rewriting

• Source: Tools and Algorithms for the Construction and Analysis of Systems

تفاصيل العنوان

Drags: A compositional algebraic framework for graph rewriting

• Authors : Jean-Pierre Jouannaud; Nachum Dershowitz;

Subjects: Vertex (graph theory); General Computer Science; Computer science

• Source: Theoretical Computer ScienceTheoretical Computer Science, 2019, 777, pp.204-231. ⟨10.1016/j.tcs.2019.01.029⟩Theoretical Computer Science, Elsevier, 2019, 777, pp.204-231.

تفاصيل العنوان

A Relational Theory of Monadic Rewriting Systems, Part I

• Authors : Francesco Gavazzo; Claudia Faggian;

Subjects: Sufficient conditions; Class (set theory); Computer science

• Source: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, France. pp.1-14,

تفاصيل العنوان

Pure tensor program rewriting via access patterns (representation pearl)

• Authors : Scott Davidson; Joseph McMahan; Zachary Tatlock

Subjects: FOS: Computer and information sciences; Computer Science - Programming Languages; Computer science

• Source: MAPS@PLDI

تفاصيل العنوان

Patch Graph Rewriting

• Authors : Overbeek, Roy; Endrullis, Jörg; Gadducci, Fabio ...

Subjects: Graph rewriting; Mathematics::Combinatorics; Visual language

• Source: Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings, 128-145STARTPAGE=128;ENDPAGE=145;TITLE=Graph

تفاصيل العنوان

String diagram rewrite theory II: Rewriting with symmetric monoidal structure

• Authors : Filippo Bonchi; Fabio Gadducci; Aleks Kissinger

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Mathematics (miscellaneous)

• Source: Mathematical Structures in Computer Science. 32:511-541

تفاصيل العنوان

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

• Authors : Jens Kosiol; Gabriele Taentzer

Subjects: Graph rewriting; Property (philosophy); Computer science

• Source: Graph Transformation ISBN: 9783030789459ICGT

تفاصيل العنوان