Logical Loops-Reference-Cited by-同舟云学术

Logical Loops

Published:2002 Issue: Volume: Page:224-238
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Schimpf Joachim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45619-8_16

Reference12 articles.

1. K. R. Apt. Arrays, bounded quantification and iteration in logic and constraint logic programming. Science of Computer Programming, 26(1–3):133–148, 1996.

2. J. Barklund and J. Bevemyr. Prolog with arrays and bounded quantifications. In A. Voronkov, editor, Proceedings of LPAR’93, pages 28–39. Springer, 1993.

3. J. Barklund and P. Hill. Extending Gödel for expressing restricted quantifications and arrays. Technical Report No. 102, Uppsala University, March 1995.

4. ECLiPSe Team. ECLiPSe User Manual Version 4.0. Technical report, IC-Parc, Imperial College, London, July 1998.

5. M. Hanus. Curry: An integrated functional logic language. Technical report, Univerity of Kiel, Kiel, Germany, June 2000.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11

2. Disjunctive Delimited Control;Logic-Based Program Synthesis and Transformation;2022

3. Block structured scheduling using constraint logic programming;AI Communications;2020-08-05

4. Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming;Intelligent Distributed Computing XIII;2019-10-02

5. Freight transportation broker agent based on constraint logic programming;Evolving Systems;2018-06-04