scientific article
From MaRDI portal
Publication:3043811
zbMATH Open1073.68567MaRDI QIDQ3043811
Kiyoshi Akama, Hidekatsu Koike, H. Mabuchi
Publication date: 6 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440131.htm
Title of this publication is not available (Why is that?)
Related Items (4)
A Kripke logical relation for effect-based program transformations ⋮ Title not available (Why is that?) ⋮ Program transformation system based on generalized partial computation ⋮ CONCUR 2003 - Concurrency Theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043811)
