Buscar
Mostrando ítems 1-10 de 1496
Confluence in Probabilistic Rewriting
(Elsevier, 2018-10)
Driven by the interest of reasoning about probabilistic programming languages, we set out to study a notion of uniqueness of normal forms for them. To provide a tractable proof method for it, we define a property of ...
Confluent Rewriting Systems in Non-Monotonic Reasoning
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. We introduce the general notion 01 a Confluent LPSystem,
which is a rewriting system on the set 01 all
logic pmgrams over a signature L. Such a system is
based on certain translormation rules and induces a ...
Attributed Graph Rewriting For Complex Event Processing Self-management
(Assoc Computing MachineryNew York, 2016)
Architectural specification, exploration and simulation through rewriting-logic
(Universidad Autónoma de Bucaramanga, 2002-07)
In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into ...
Operación masacre and its rewritingsLas reescrituras de Operación masacre
(Instituto de Lingüística y Literatura. Facultad de Filosofía y Humanidades. Universidad Austral de Chile, 2019)
¿Original y copia?: El collage y la cita en la producción teatral de Hierba Roja TeatroOriginal and copy: the rewrite and fragment as quotation in the theatrical production of Hierba Roja Teatro
(Facultad de Filosofía y Letras, Universidad de Buenos Aires, 2019)