2005
Skew and mega-skew confluence and abstract böhm semantics
Publication
Publication
Additional Metadata | |
---|---|
Springer | |
A. Middeldorp , not CWI et al | |
Lecture Notes in Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Ariola, Z., & Blom, S. (2005). Skew and mega-skew confluence and abstract böhm semantics. In A. Middeldorp & . not . CWI et al (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday (pp. 368–403.). Springer. |