Amanote Research
Register
Sign In
Translating Logic Programs Into Conditional Rewriting Systems
doi 10.7551/mitpress/4299.003.0018
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Unknown
Publisher
The MIT Press
Related search
Poems: From Translating to Rewriting
Theory and Practice in Language Studies
Translating Sympathy for Deceived Consumers Into Effective Programs for Protection
University of Pennsylvania Law Review
Law
Logic Programming as Hypergraph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rewriting Strategies and Strategic Rewrite Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Translating Theories Into Practice
The Singapore Family Physician
Translating Research Into Practice
Medical Care
Environmental
Public Health
Occupational Health
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
Journal of Applied Logic
Applied Mathematics
Logic
