Matching Logic Rewriting: Unifying Operational and Axiomatic Semantics in a Practical and Generic Framework
From FSL
Revision as of 23:00, 27 February 2016 by
Yzhng173
(
Talk
|
contribs
)
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Jump to:
navigation
,
search
Technical Report
Personal tools
Log in
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
Actions
Search
Navigation
FSL Home
People
Projects
Publications
News