Publisher： Elsevier
Founded in： 1995
Total resources： 23
E-ISSN： 1571-0661
ISSN： 1571-0661
Subject： TP3 Computers
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
Menu
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
By Dershowitz N., Lindenstrauss N., Sagiv Y., Serebrenik A. in (2004)
Electronic Notes in Theoretical Computer Science , Vol. 30, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
Investigating the Algebraic Structure of Dihomotopy Types
Electronic Notes in Theoretical Computer Science , Vol. 52, Iss. 2, 2004-01 , pp.Scott Induction and Equational Proofs
By Esik Z., Bernatsky L. in (2004)
Electronic Notes in Theoretical Computer Science , Vol. 1, Iss. 1, 2004-01 , pp.Towards a Hierarchy of Negative Test Operators for Generative Communication
Electronic Notes in Theoretical Computer Science , Vol. 16, Iss. 2, 2004-01 , pp.On the Expressive Power of Joint Input
Electronic Notes in Theoretical Computer Science , Vol. 16, Iss. 2, 2004-01 , pp.Hyperformulae, Parallel Deductions and Intersection Types
By Capitani B., Loreti M., Venneri B. in (2004)
Electronic Notes in Theoretical Computer Science , Vol. 50, Iss. 2, 2004-01 , pp.On the Construction of Monitors for Temporal Logic Properties
Electronic Notes in Theoretical Computer Science , Vol. 55, Iss. 2, 2004-01 , pp.Covarieties and Complete Covarieties
By Gumm H.P., Schroder T. in (2004)
Electronic Notes in Theoretical Computer Science , Vol. 11, Iss. 1, 2004-01 , pp.Toposes of Coalgebras and Hidden Algebras
Electronic Notes in Theoretical Computer Science , Vol. 11, Iss. 1, 2004-01 , pp.Models for an Adversary-Centric Protocol Logic
Electronic Notes in Theoretical Computer Science , Vol. 55, Iss. 1, 2004-01 , pp.
Previous
Next