Period of time： 2004年1期
Publisher： Elsevier
Founded in： 1995
Total resources： 23
ISSN： 1571-0661
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 4,issue 1
Menu
Access to resources
Recommend
Reflection and Strategies in Rewriting Logic
By Clavel M., Meseguer J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.Tiles, Rewriting Rules and CCS
By Gadducci F., Montanari U. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.Modelling Conditional Rewriting Logic in Structured Categories
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.Specifying Real-Time Systems in Rewriting Logic
By Olveczky P.C., Meseguer J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.A Formal Approach to Object-Oriented Software Engineering
By Wirsing M., Knapp A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.Controlling Rewriting by Rewriting
By Borovansky P., Kirchner C., Kirchner H. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.By Clavel M., Eker S., Lincoln P., Meseguer J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.Rewriting Logic as a Logical and Semantic Framework
By Marti-Oliet N., Meseguer J. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.ELAN - A logical framework based on computational systems
By Borovansky P., Kirchner C., Kirchner H., Moreau P.-E., Vittek M. in (2004)
Electronic Notes in Theoretical Computer Science,volume 4,issue 1 , Vol. 4, Iss. 1, 2004-01 , pp.
Previous
Next