Comparing Curried and Uncurried Rewriting

Journal of Symbolic Computation - United States
doi 10.1006/jsco.1996.0002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Confluence of Curried Term-Rewriting Systems

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Rewriting the Torah

2007English

Rewriting Strategies and Strategic Rewrite Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Rewriting Queries Using Views

2018English

BigraphER: Rewriting and Analysis Engine for Bigraphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Rewriting King Lear in a Diasporic Context, Rewriting the Nation: Second Generation and Life Goes On

ODISEA. Revista de estudios ingleses
2017English

Termination of Cycle Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Introducing Abstractions via Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Learning and Rewriting in Fuzzy Rule Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy