Search Results - "Functional Logic Programming"
-
1
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 7:417-447
-
2
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783031248405
-
3
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030753320
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)
Access URL: http://arxiv.org/pdf/2008.11999
http://arxiv.org/abs/2008.11999
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-11999
https://link.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/pdf/2008.11999
https://rd.springer.com/chapter/10.1007/978-3-030-75333-7_4
https://arxiv.org/abs/2008.11999 -
4
Authors: et al.
Source: Electronic Notes in Theoretical Computer Science. 188:37-51
Subject Terms: Cooperating Solvers, Functional Logic Programming, Implementation, Constraints, 0202 electrical engineering, electronic engineering, information engineering, Lazy Narrowing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
5
Authors: Sergio Antoy
Source: Journal of Symbolic Computation. 40:875-903
Subject Terms: Computational Mathematics, Evaluation strategies, Algebra and Number Theory, Definitional trees, Constructor-based rewrite systems, Functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Narrowing, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
6
Authors:
Source: Theory and Practice of Logic Programming. 4:41-74
Subject Terms: proof calculi, FOS: Computer and information sciences, D.1.6, D.3.2, Computer Science - Programming Languages, functional logic programming, 0202 electrical engineering, electronic engineering, information engineering, constructive failure, 02 engineering and technology, Logic programming, Programming Languages (cs.PL)
File Description: application/xml
Access URL: http://arxiv.org/pdf/cs/0405102v1.pdf
http://arxiv.org/abs/cs/0405102
http://journals.cambridge.org/abstract_S1471068403001728
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/abs/proof-theoretic-approach-to-failure-in-functional -logic -programming /E2D12EE8BC5F54B96EE9732909DC9A27
http://ui.adsabs.harvard.edu/abs/2004cs........5102L/abstract
https://dblp.uni-trier.de/db/journals/tplp/tplp4.html#Lopez-FraguasS04 -
7
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 150-164 (2017)
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, Electronic computers. Computer science, QA1-939, D.1.5, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology, Mathematics, Programming Languages (cs.PL)
Access URL: https://arxiv.org/pdf/1701.00634
http://arxiv.org/abs/1701.00634
https://doaj.org/article/601bd3c89e0c4edfa043fb02b2d186f9
https://arxiv.org/abs/1701.00634
https://dblp.uni-trier.de/db/series/eptcs/eptcs234.html#WidemannL17
https://doi.org/10.4204/EPTCS.234.11
https://arxiv.org/abs/1701.00634
https://arxiv.org/pdf/1701.00634.pdf -
8
Authors: et al.
Contributors: et al.
Subject Terms: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing
File Description: application/pdf
-
10
-
11
Authors:
Contributors:
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, theorem proving, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Isabelle, 0102 computer and information sciences, CRWL logic, functional-logic programming, 01 natural sciences, higher-order logic, Logic in Computer Science (cs.LO)
File Description: application/pdf
-
12
Authors:
Source: Journal of Visual Languages & Computing. 22:66-89
-
13
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319733043
-
14
Authors:
Source: Theory and Practice of Logic Programming. 14:65-116
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)
Access URL: http://arxiv.org/pdf/1203.2431
http://arxiv.org/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://128.84.21.199/abs/1203.2431
https://arxiv.org/abs/1203.2431
https://ui.adsabs.harvard.edu/abs/2012arXiv1203.2431R/abstract
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S147106841200004X
https://www.cambridge.org/core/journals/theory-and-practice-of-logic -programming /article/singular-and-plural-functions-for-functional -logic -programming /75629FDA22B2329A8690D0B1946B6281
https://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-2431 -
15
Authors:
Source: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation. :83-92
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
16
Authors: et al.
Source: Theory and Practice of Logic Programming. 7:537-582
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.3.2, D.3.3, 0202 electrical engineering, electronic engineering, information engineering, F.3.2, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)
-
17
Authors: Enrique Martin-Martin
Source: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. :121-130
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
18
-
19
Authors:
Source: New Generation Computing. 24:129-184
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
20
Authors:
Source: Higher-Order and Symbolic Computation. 20:73-122
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
Full Text Finder 
Nájsť tento článok vo Web of Science