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 1,issue 1
Menu
Scott Induction and Equational Proofs
By Esik Z., Bernatsky L. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Operational Semantics of a Focusing Debugger
By Bernstein K.L., Stark E.W. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Categories for synchrony and asynchrony
By Cockett J.R.B., Spooner D.A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Bisimilarity as a Theory of Functional Programming
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.By Freyd P.J., O'Hearn P.W., Power A.J., Takeyama M., Tennent R.D. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Type Inference for Recursively Constrained Types and its Application to OOP
By Eifrig J., Smith S., Trifonov V. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Domain Theory in Learning Processes
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.Full Abstraction for Strongly Fair Communicating Processes
By Brookes S., Older S. in (2004)
Electronic Notes in Theoretical Computer Science,volume 1,issue 1 , Vol. 1, Iss. 1, 2004-01 , pp.