Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/647708.734940guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Unravelings and Ultra-properties

Published: 25 September 1996 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2015)Formalizing Soundness and Completeness of UnravelingsProceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 932210.1007/978-3-319-24246-0_15(239-255)Online publication date: 21-Sep-2015
  • (2009)Completion after Program Inversion of Injective FunctionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.03.034237(39-56)Online publication date: 1-Apr-2009
  • (2009)Defining datalog in rewriting logicProceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation10.1007/978-3-642-12592-8_14(188-204)Online publication date: 1-Sep-2009
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
ALP '96: Proceedings of the 5th International Conference on Algebraic and Logic Programming
September 1996
344 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 25 September 1996

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 12 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2015)Formalizing Soundness and Completeness of UnravelingsProceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 932210.1007/978-3-319-24246-0_15(239-255)Online publication date: 21-Sep-2015
  • (2009)Completion after Program Inversion of Injective FunctionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.03.034237(39-56)Online publication date: 1-Apr-2009
  • (2009)Defining datalog in rewriting logicProceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation10.1007/978-3-642-12592-8_14(188-204)Online publication date: 1-Sep-2009
  • (2008)Proving operational termination of membership equational programsHigher-Order and Symbolic Computation10.1007/s10990-008-9028-221:1-2(59-88)Online publication date: 1-Jun-2008
  • (2006)Automatic partial inversion of inductively sequential functionsProceedings of the 18th international conference on Implementation and application of functional languages10.5555/1757028.1757043(253-270)Online publication date: 4-Sep-2006
  • (2006)Computationally equivalent elimination of conditionsProceedings of the 17th international conference on Term Rewriting and Applications10.1007/11805618_3(19-34)Online publication date: 12-Aug-2006
  • (2005)Partial inversion of constructor term rewriting systemsProceedings of the 16th international conference on Term Rewriting and Applications10.1007/978-3-540-32033-3_20(264-278)Online publication date: 19-Apr-2005
  • (2003)Conditional narrowing without conditionsProceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming10.1145/888251.888255(20-31)Online publication date: 27-Aug-2003
  • (2001)Constructor-based conditional narrowingProceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/773184.773205(199-206)Online publication date: 5-Sep-2001
  • (1998)Light analysis of complex systemsProceedings of the 1998 ACM symposium on Applied Computing10.1145/330560.330564(18-22)Online publication date: 27-Feb-1998

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media