Term rewriting and all that

Authors:
Franz Baader;Tobias Nipkow
Affiliations:
RWTH, Aachen, Germany;Technische Univ., Munich, Germany
Venue:
Term rewriting and all that
Year:
1999

Citing 0
Cited 2

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
System F with type equality coercions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract