Computing More Specific Versions of Conditional Rewriting Systems.

Details

Language :

English

ISBNs :

9783642381966

Database :

Complementary Index

Journal :

Logic-Based Program Synthesis & Transformation (9783642381966)

Publication Type :

Book

Accession number :

94121842

Full Text :

https://doi.org/10.1007/978-3-642-38197-3_10