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 30,issue 1
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,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.
Access to resources
Recommend
On logic programs that do not fail
By Pedreschi D., Ruggieri S. in (2004)
Electronic Notes in Theoretical Computer Science,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.Abstract Interpretation based Verification of Logic Programs
By Comini M., Gori R., Levi G., Volpe P. in (2004)
Electronic Notes in Theoretical Computer Science,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming
By Beierle C., Kloos R., Meyer G. in (2004)
Electronic Notes in Theoretical Computer Science,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.Properties of Input-Consuming Derivations
By Bossi A., Etalle S., Rossi S. in (2004)
Electronic Notes in Theoretical Computer Science,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.By Hitzler P., Seda A.K. in (2004)
Electronic Notes in Theoretical Computer Science,volume 30,issue 1 , Vol. 30, Iss. 1, 2004-01 , pp.