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: 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 -
3
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783031248405
-
4
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 -
5
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 -
6
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)
-
7
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)
-
8
Authors: MICHAEL HANUS
Source: Theory and Practice of Logic Programming. 22:538-554
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/abs/2205.06841
-
9
-
10
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 -
11
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)
-
12
Authors:
Source: Electronic Notes in Theoretical Computer Science. 117:5-50
Subject Terms: Logic Programming, Functional Programming, Constraints, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
Access URL: https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934
https://www.sciencedirect.com/science/article/pii/S1571066104052934
https://dblp.uni-trier.de/db/journals/entcs/entcs117.html#Lopez-FraguasRV05
https://core.ac.uk/display/82685587
http://gpd.sip.ucm.es/uploads/pdf/LMR05_RV-wrla04.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066104052934#! -
13
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030341749
-
14
Authors: et al.
Contributors: et al.
Subject Terms: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004
File Description: application/pdf
-
15
Authors:
Contributors:
Subject Terms: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing
File Description: application/pdf
-
16
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
-
17
Authors:
Source: Journal of Visual Languages & Computing. 22:66-89
-
18
Authors:
Source: Fuzzy Sets and Systems. 160:1402-1419
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
19
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319733043
-
20
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
Full Text Finder 
Nájsť tento článok vo Web of Science