نتائج البحث

Model checking strategy-controlled systems in rewriting logic

• Authors : Rubio Cuéllar, Rubén Rafael; Martí Oliet, Narciso; Pita Andreu, María Isabel

Subjects: Rewriting strategies; Model checking; Maude

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

On maximal parallel application of rules in rewriting P systems

• Authors : Zandron, C; Zandron C.

Subjects: Chomsky grammar; Lindenmayer system; Matrix grammar

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

Network Rewriting Utility Description

• Authors : Hellström, Lars

Subjects: Network rewriting; Hopf algebras; Type II hom-associativity

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

Confluence of Terminating Rewriting Computations

• Authors : Jouannaud, Jean-Pierre;

Subjects: rewriting and rewriting modulo and higher-order rewriting and confluence and critical pair and pattern; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

• Source: The French School of Programming ; https://inria.hal.science/hal-04733883 ; Bertrand Meyer. The French School of Programming, Springer, pp.265 - 306, 2023,

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

Model checking strategy-controlled systems in rewriting logic

• Authors : Rubio Cuéllar, Rubén Rafael; Martí Oliet, Narciso; Pita Andreu, María Isabel

Subjects: Rewriting strategies; Model checking; Maude

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

A Dependency Pair Framework for Relative Termination of Term Rewriting

• Authors : Kassing, Jan-Christoph; Vartanyan, Grigory; Giesl, Jürgen

Subjects: DE

• Source: Cham, Switzerland : Springer, Lecture notes in computer science 14740, Lecture notes in artificial intelligence 360-380 (2024). doi:10.1007/978-3-031-63501-4_19 ;

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

Patch Graph Rewriting

• Authors : Overbeek, Roy; Endrullis, Jörg

Subjects: Embedding; Graph rewriting; Visual language

• Source: Vrije Universiteit Amsterdam Repository

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

SaBRe: load-time selective binary rewriting

• Authors : Arras, P-A; Andronidis, A; Pina, L ...

Subjects: Science & Technology; Technology; Computer Science

• Source: 223 ; 205

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

Winning strategies for streaming rewriting games

• Authors : Coester, Christian; Schwentick, T; Schuster, M

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

Noncommutative linear rewriting: applications and generalizations

• Authors : Malbos, Philippe;

Subjects: Rewriting; Koszulness; Gröbner bases

• Source: Two algebraic byways from differential equations: Gröbner bases and quivers ; https://hal.science/hal-01718880 ; Two algebraic byways from differential equations: Gröbner bases and quivers, 28,

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