Výsledky vyhľadávania - "concurrent logic programming"
-
1
Autori: a ďalší
Zdroj: Proceedings of the ACM on Programming Languages. 4(HOPL)
Predmety: Computer programming, Concurrent programming, Dataflow, Distributed programming, Functional programming, Lazy evaluation, Logic programming, Multiparadigm programming, Programming education, Calculations, Concurrent constraint, Concurrent logic programming, Constraint Logic Programming, Foundational calculus, Layered Structures, Multi-paradigm languages, Programming course, Programming paradigms, PROLOG (programming language)
Popis súboru: print
Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-48928
https://doi.org/10.1145/3386333 -
2
Autori: Kazunori Ueda
Zdroj: Theoretical Computer Science. 410:4784-4800
Predmety: Concurrent logic programming, LMNtal, Hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint programming, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
-
3
Autori: Kazunori Ueda
Zdroj: Electronic Notes in Theoretical Computer Science. 162:327-331
Predmety: concurrent logic programming, LMNtal, concurrent constraint programming, hierarchical graph rewriting, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, constraint-based concurrency, mobility, multiset rewriting, Theoretical Computer Science, Computer Science(all)
-
4
Autori:
Zdroj: Automated Software Engineering. 9:67-94
Predmety: concurrent logic programming, FOS: Computer and information sciences, Computing methodologies and applications, Computer Science - Programming Languages, D.2.5, constraint satisfaction, 05 social sciences, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, debugging, Software Engineering (cs.SE), Computer Science - Software Engineering, static analysis, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, types, Programming Languages (cs.PL)
Popis súboru: application/xml
Prístupová URL adresa: http://arxiv.org/abs/cs/0012007
https://waseda.pure.elsevier.com/en/publications/kima-an-automated-error-correction-system-for-concurrent -logic -pr
https://dblp.uni-trier.de/db/journals/ase/ase9.html#AjiroU02
https://waseda.pure.elsevier.com/en/publications/kima-an-automated-error-correction-system-for-concurrent -logic -pr-2
https://link.springer.com/article/10.1023/A%3A1013232219911
https://ui.adsabs.harvard.edu/abs/2000cs.......12007A/abstract
http://www.ueda.info.waseda.ac.jp/~ajiro/ftp/aadebug9-confname.pdf -
5
Autori: a ďalší
Prispievatelia: a ďalší
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.154
-
6
Autori:
Prispievatelia:
Predmety: Logic programming, SLD-resolution, concurrency, coinduction, Lawvere theoriesm, coinductive logic programming, concurrent logic programming
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 12, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL (2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2011.352
-
7
Autori:
Prispievatelia:
Predmety: Concurrent logic programming
Popis súboru: application/pdf
Relation: Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277
-
8
Autori:
Zdroj: Journal of Symbolic Computation. 21:377-396
Predmety: concurrent logic programming language KL1, Computational Mathematics, Algebra and Number Theory, Analysis of algorithms and problem complexity, 0102 computer and information sciences, Parallel algorithms in computer science, 0101 mathematics, 01 natural sciences
Popis súboru: application/xml
Prístupová URL adresa: https://zbmath.org/968642
https://doi.org/10.1006/jsco.1996.0020
https://core.ac.uk/display/82603892
https://www.sciencedirect.com/science/article/pii/S0747717196900206
https://dblp.uni-trier.de/db/journals/jsc/jsc21.html#MuraoF96
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900206 -
9
Autori: Evan Tick
Zdroj: The Journal of Logic Programming. 23:89-123
Predmety: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming
Popis súboru: application/xml
-
10
Autori:
Zdroj: The Computer Journal. 35:157-169
Predmety: concurrent logic programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Parlog, Logic programming, debugging
Popis súboru: application/xml
-
11
Autori: Marion Glazerman Ben-Jacob
Dostupnosť: https://doi.org/10.14569/IJACSA.2012.031002
-
12
Autori:
Prispievatelia:
Predmety: Concurrent Logic Programming, Static Analysis, Concurrent Programming, Hierarchical Graph Rewriting, Optimization. i
Popis súboru: application/pdf
-
13
Autori:
Prispievatelia:
Predmety: Concurrent Logic Programming, Automated Programming, Debugging, Static Analysis, Types, Modes, Constraint Satisfaction, GHC ii
Popis súboru: application/pdf
-
14
Autori:
Prispievatelia:
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2745; http://www.ueda.info.waseda.ac.jp/~ajiro/ftp/ase9.pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ftp://ftp.cs.bgu.ac.il/pub/people/mcodish/susp.ps.gz
Predmety: Additional Key Words and Phrases, Abstract Interpretation, concurrent logic programming, program
Popis súboru: application/postscript
-
16
Autori:
Prispievatelia:
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4719; http://star.cs.bris.ac.uk/papers/spec.ps.gz
-
17
Autori: 網代 育大
Zdroj: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2002, 17(6):779
-
18
Autori:
Zdroj: New Generation Computing. 5:185-205
Predmety: concurrent logic programming, shells, parallel processing, dynamic process mapping, virtual machines, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, parallel implementation of Flat Concurrent Prolog, Theory of operating systems
Popis súboru: application/xml
Prístupová URL adresa: https://link.springer.com/article/10.1007/BF03037398
-
19
Autori:
Prispievatelia:
Predmety: Parallelism, Concurrency, Applications, Concurrent Logic Programming, Parlog, Petri nets A Concurrent Logic Programming Encoding of Petri Nets 2
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.2824; http://munkora.cs.mu.oz.au/publications/tr_db/./mu_92_22.ps.gz
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Abduction, Distributed and Parallel Implementations, Non-monotonic and Hypothetical Reasoning, Concurrent Logic Programming Languages
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5994; http://www.cs.ucy.ac.cy/~george/IJAIT.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science