A constructor-based approach to positive/negative-conditional equational specifications

Authors:
Claus-Peter Wirth;Bernhard Gramlich
Affiliations:
-;-
Venue:
Journal of Symbolic Computation - Special issue on conditional term rewriting systems
Year:
1994

Citing 0
Cited 3

Applying Rewriting Techniques to the Verification of Erlang Processes

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Shallow confluence of conditional term rewriting systems

Journal of Symbolic Computation
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract