Difference between revisions of "Towards a Unified Theory of Operational and Axiomatic Semantics"

From FSL
Jump to: navigation, search
m
(Redirected page to Reachability Logic)
 
Line 1: Line 1:
== ICALP'12 ==
+
#REDIRECT [[Reachability Logic]]
<pubbib id='rosu-stefanescu-2012-icalp' template='PubDefaultWithAbstractAndTitle'/>
+
<private>== Submitted to ICALP'12 ==
+
<pub id='rosu-stefanescu-2012-icalp-submission' template='PubDefaultWithAbstractAndTitle'/></private>
+
== Technical Reports ==
+
<pub id='rosu-stefanescu-2012-tr-e' template='PubDefaultWithAbstractAndTitle' draft/><private>
+
<pub id='rosu-stefanescu-2012-tr-c' template='PubDefaultWithAbstractAndTitle'/>
+
<pub id='rosu-stefanescu-2012-tr' template='PubDefaultWithAbstractAndTitle'/></private>
+

Latest revision as of 16:36, 12 August 2017

  1. REDIRECT Reachability Logic
Personal tools
Namespaces

Variants
Actions
Navigation