Suchergebnisse - functional-logic Programming~
-
1
Autoren: et al.
Quelle: Proceedings of the ACM on Programming Languages. 7:417-447
-
2
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783030753320
Schlagwörter: 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)
Zugangs-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
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783031248405
-
4
Autoren:
Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 150-164 (2017)
Schlagwörter: 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)
Zugangs-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
Autoren:
Quelle: Theory and Practice of Logic Programming. 4:41-74
Schlagwörter: 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)
Dateibeschreibung: application/xml
Zugangs-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
Autoren: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 188:37-51
Schlagwörter: 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
Autoren: Sergio Antoy
Quelle: Journal of Symbolic Computation. 40:875-903
Schlagwörter: 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
Autoren: MICHAEL HANUS
Quelle: Theory and Practice of Logic Programming. 22:538-554
Schlagwörter: 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)
Zugangs-URL: http://arxiv.org/abs/2205.06841
-
9
-
10
Autoren:
Quelle: Theory and Practice of Logic Programming. 14:65-116
Schlagwörter: 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)
Zugangs-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
Autoren: et al.
Quelle: Theory and Practice of Logic Programming. 7:537-582
Schlagwörter: 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
Autoren:
Quelle: Electronic Notes in Theoretical Computer Science. 117:5-50
Schlagwörter: 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)
Zugangs-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
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783030341749
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004
Dateibeschreibung: application/pdf
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing
Dateibeschreibung: application/pdf
-
16
Autoren:
Weitere Verfasser:
Schlagwörter: 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)
Dateibeschreibung: application/pdf
-
17
Autoren:
Quelle: Journal of Visual Languages & Computing. 22:66-89
-
18
Autoren:
Quelle: Fuzzy Sets and Systems. 160:1402-1419
Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
19
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783319733043
-
20
Autoren:
Quelle: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation. :83-92
Schlagwörter: 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