![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Grahn H. Stenstrom P. Dubois M.
Publisher: Elsevier
ISSN: 0167-739X
Source: Future Generation Computer Systems, Vol.11, Iss.3, 1995-06, pp. : 247-271
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Relaxed models for rewriting logic
By Lucanu D.
Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. :