Back to Results
First PageMeta Content
Heuristics / Rippling / Formal languages / Logic in computer science / Applied mathematics / Partial differential equations / Rewriting / Wave / N-skeleton / Theoretical computer science / Mathematics / Automated theorem proving


A Calculus for and Termination of Rippling David A. Basin  Max-Planck-Institut fur Informatik, Saarbrucken, Germany email: [removed]
Add to Reading List

Document Date: 2013-07-29 02:05:21

Open Document

File Size: 318,64 KB

Share Result on Facebook

Company

Edinburgh Mathematical Reasoning Group / /

Country

United States / /

/

IndustryTerm

search space / direct search / little search / /

Organization

German Ministry for Research and Technology / European Commission / /

Person

Leo Bachmair / Alan Bundy / David A. Basin / Toby Walsh / Michael Rusinowitch / Dieter Hutter / /

Technology

Dom / /

SocialTag