Search Results - "constraint logic programming languages"
-
1
Authors:
Source: Theoretical Computer Science. 712:1-37
Subject Terms: 2. Zero hunger, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences
-
2
Authors:
Source: Computer Languages. 25:119-144
Subject Terms: constraint logic programming, incremental queries, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences
File Description: application/xml
-
3
Authors:
Source: Annals of Mathematics and Artificial Intelligence. 5:163-189
Subject Terms: Analysis of algorithms and problem complexity, CLP languages, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
File Description: application/xml
-
4
Authors: Donald A. Smith
Source: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '91. :62-71
-
5
Authors: Jacques Cohen
Source: Communications of the ACM. 33:52-68
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: https://dl.acm.org/doi/abs/10.1145/79204.79209
http://www.osti.gov/scitech/biblio/6597394-constraint -logic -programming -languages
https://dblp.uni-trier.de/db/journals/cacm/cacm33.html#Cohen90 -
6
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 354055033X
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences
Access URL: https://dblp.uni-trier.de/db/conf/pdk/pdk91.html#BruynoogheDJ91
https://link.springer.com/content/pdf/10.1007%2FBFb0013540.pdf
https://link.springer.com/chapter/10.1007/BFb0013540
https://rd.springer.com/chapter/10.1007/BFb0013540
https://lirias.kuleuven.be/handle/123456789/125263
https://doi.org/10.1007/bfb0013540 -
7
Additional Titles: Dependency Analysis of Constraint Sets for Constraint Logic Programming Languages and Its Application to Constraint-Based Systems
Authors: Nagai, Yasuo
Index Terms: Departmental Bulletin Paper.
-
8
Contributors: Cohen, J [Michtom School of Computer Science, Brandeis Univ., MA (US)]
Source: Communications of the ACM (Association of Computing Machinery); (USA); 33:7
File Description: Medium: X; Size: Pages: 52-68
Access URL: http://www.osti.gov/scitech/biblio/6597394
-
9
Authors: et al.
Contributors: et al.
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2919; http://www.cos.ufrj.br/~ines/proc.ps.gz
-
10
Subject Terms: Logic programming languages, Parallelism, Proceedings of conferences of miscellaneous specific interest, Proceedings, conferences, collections, etc. pertaining to computer science, Implementation technology, Workshop
File Description: application/xml
Access URL: https://zbmath.org/1333354
-
11
Authors: et al.
Contributors: et al.
File Description: application/postscript
-
12
Authors: Smith, Donald A.
Source: ACM SIGPLAN Notices ; volume 26, issue 9, page 62-71 ; ISSN 0362-1340 1558-1160
-
13
Authors: Jørgensen, Niels Henrik
Source: Jørgensen , N H 1996 , An abstract model for constraint logic programming languages . Datalogiske Skrifter , no. 68 , Roskilde Universitet , Roskilde .
-
14
Authors:
Contributors:
Subject Terms: Incremental Execution, Concurrent Constraint Logic Program
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.629.7925; http://www.cse.cuhk.edu.hk/~jlee/publ/00/iq.pdf
-
15
Authors:
Contributors:
File Description: application/pdf
-
16
Authors: et al.
Source: Theory and Practice of Logic Programming. 5:623-667
Subject Terms: FOS: Computer and information sciences, Technology, Logic, cs.PL, mode checking, DEPENDENCIES, 02 engineering and technology, Logic programming, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, regular grammars, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, D.3.2, F.3.2, 0802 Computation Theory and Mathematics, 4613 Theory of computation, Science & Technology, Computer Science - Programming Languages, strong modes, 4602 Artificial intelligence, 0803 Computer Software, dependencies, Computer Science, Software Engineering, constraint logic programming languages, CLP languages, Computer Science, Grammars and rewriting systems, Science & Technology - Other Topics, logic programs, Programming Languages (cs.PL)
File Description: application/xml
-
17
Authors: Thom Frühwirth
Source: Journal of Symbolic Computation. 22:555-583
Subject Terms: Computational Mathematics, Algebra and Number Theory, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, annotated constraint logic, constraint logic programming languages
File Description: application/xml
Access URL: https://zbmath.org/1002408
https://doi.org/10.1006/jsco.1996.0066
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900668
https://core.ac.uk/display/82340362
https://doi.org/10.1006/jsco.1996.0066
https://dblp.uni-trier.de/db/journals/jsc/jsc22.html#Fruhwirth96
https://www.sciencedirect.com/science/article/pii/S0747717196900668
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/drafts/taclpjsc.pdf -
18
Authors:
Source: Annals of Mathematics and Artificial Intelligence. 5:303-319
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Logic programming, constraint logic programming languages
File Description: application/xml
-
19
Authors:
File Description: application/pdf
Relation: 東京情報大学研究論集; 123; 139; AA11155514; https://tuis.repo.nii.ac.jp/record/296/files/KJ00000218633.pdf; https://doi.org/10.15029/00000295; https://tuis.repo.nii.ac.jp/records/296
-
20
Authors:
Source: Computer Journal; Mar2023, Vol. 66 Issue 3, p763-784, 22p
Subject Terms: JAVA programming language, LOGIC programming, FIRST-order logic
Full Text Finder 
Nájsť tento článok vo Web of Science