Výsledky vyhľadávania - "Functional-logic programming"
-
1
Autori: a ďalší
Zdroj: Proceedings of the ACM on Programming Languages. 7:417-447
-
2
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783031248405
-
3
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783030753320
Predmety: 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)
Prístupová URL adresa: 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
Autori: a ďalší
Zdroj: Electronic Notes in Theoretical Computer Science. 188:37-51
Predmety: 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)
Prístupová URL adresa: https://core.ac.uk/display/82188877
http://gpd.sip.ucm.es/sonia/PROLE'06.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#MartinFHRSV07
https://www.sciencedirect.com/science/article/pii/S1571066107004793
https://www.sciencedirect.com/science/article/abs/pii/S1571066107004793 -
5
Autori: Sergio Antoy
Zdroj: Journal of Symbolic Computation. 40:875-903
Predmety: 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
Autori:
Zdroj: Theory and Practice of Logic Programming. 4:41-74
Predmety: 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)
Popis súboru: application/xml
Prístupová URL adresa: 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
Autori:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 234, Iss Proc. WLP 2015/'16/WFLP'16, Pp 150-164 (2017)
Predmety: 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)
Prístupová URL adresa: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: concurrent logic programming, Constraint logic programming, functional logic programming, ddc:004
Popis súboru: application/pdf
-
9
Autori:
Prispievatelia:
Predmety: or-parallelism, term rewriting system, Functional logic programming, and-parallelism, ddc:004, non-determinism, needed narrowing
Popis súboru: application/pdf
-
10
-
11
Autori:
Prispievatelia:
Predmety: 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)
Popis súboru: application/pdf
-
12
Autori:
Zdroj: Journal of Visual Languages & Computing. 22:66-89
-
13
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783319733043
-
14
Autori:
Zdroj: Theory and Practice of Logic Programming. 14:65-116
Predmety: 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)
Prístupová URL adresa: 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
Autori:
Zdroj: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation. :83-92
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
16
Autori: a ďalší
Zdroj: Theory and Practice of Logic Programming. 7:537-582
Predmety: 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)
Prístupová URL adresa: http://arxiv.org/pdf/cs/0601071
http://arxiv.org/abs/cs/0601071 -
17
Autori: Enrique Martin-Martin
Zdroj: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. :121-130
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
18
-
19
Autori:
Zdroj: New Generation Computing. 24:129-184
Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
20
Autori:
Zdroj: Higher-Order and Symbolic Computation. 20:73-122
Predmety: 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