New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

重写系统 #48

Open

ghost opened this issue Jan 26, 2013 · 0 comments

Labels

分享

ghost commented Jan 26, 2013

Quick Introduction to Term Rewriting http://www.meta-environment.org/doc/books/extraction-transformation/term-rewriting/term-rewriting.html

Wiki https://en.wikipedia.org/wiki/Rewriting
Rewriting http://rewriting.loria.fr/
Reduction System http://mathworld.wolfram.com/ReductionSystem.html
Abstract rewriting system https://en.wikipedia.org/wiki/Abstract_rewriting_system
Normal form (abstract rewriting) https://en.wikipedia.org/wiki/Normal_form_(abstract_rewriting)
Term Rewriting and Rewriting Logic http://fsl.cs.uiuc.edu/index.php/Term_Rewriting_and_Rewriting_Logic
重写逻辑 https://zh.wikipedia.org/wiki/%E9%87%8D%E5%86%99%E9%80%BB%E8%BE%91

模式匹配
Wiki https://en.wikipedia.org/wiki/Pattern_matching
What's the difference between term rewriting and pattern matching? http://cstheory.stackexchange.com/questions/6256/whats-the-difference-between-term-rewriting-and-pattern-matching
Rules & Patterns http://reference.wolfram.com/mathematica/guide/RulesAndPatterns.html

Pattern theory https://en.wikipedia.org/wiki/Pattern_theory

Pure https://code.google.com/p/pure-lang/

# for free to join this conversation on GitHub. Already have an account? # to comment