Výsledky vyhledávání - "concurrent logic programming languages"

Upřesnit hledání
  1. 1

    The deevolution of concurrent logic programming languages

    Autoři: Evan Tick

    Zdroj: The Journal of Logic Programming. 23:89-123

    Témata: Logic, deevolution, 0202 electrical engineering, electronic engineering, information engineering, concurrent logic programming languages, 02 engineering and technology, Logic programming

    Popis souboru: application/xml

    Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0743106694000388
    https://dblp.uni-trier.de/db/journals/jlp/jlp23.html#Tick95
    https://doi.org/10.1016/0743-1066(94)00038-8
    http://www.sciencedirect.com/science/article/pii/0743106694000388
    https://core.ac.uk/display/82787481

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

    Autoři: Marion Glazerman Ben-Jacob

    Zdroj: International Journal of Advanced Computer Science and Applications. 3

    Přístupová URL adresa: http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf
    https://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf
    https://thesai.org/Publications/ViewPaper?Volume=3&Issue=10&Code=IJACSA&SerialNo=2

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    The family of concurrent logic programming languages

    Autoři: Ehud Shapiro

    Zdroj: Logic, Algebra, and Computation ISBN: 9783642768019

    Témata: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 10. No inequality, 7. Clean energy, 3. Good health

    Přístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-642-76799-9_10
    https://dblp.uni-trier.de/db/journals/csur/csur21.html#Shapiro89
    https://dl.acm.org/doi/abs/10.1145/72551.72555
    https://rd.springer.com/chapter/10.1007/978-3-642-76799-9_10
    https://apps.dtic.mil/sti/pdfs/ADA213958.pdf
    https://apps.dtic.mil/dtic/tr/fulltext/u2/a213958.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Studies on formal semantics of concurrent logic programming languages

    Autoři: 加藤暢 [著]

    Popis souboru: image/jp2

    Přístupová URL adresa: https://ndlsearch.ndl.go.jp/books/R100000039-I3130738

    Degree: 博士 (工学) -- 岡山大学

    View record at National Diet Library Digital Collections
    Přidat do oblíbených
  5. 5

    Objects in concurrent logic programming languages

    Autoři: Eric Dean Tribble Mark S. Miller Ken Kahn a další

    Zdroj: Conference proceedings on Object-oriented programming systems, languages and applications - OOPLSA '86. :242-257

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/oopsla/oopsla86.html#KahnTMB86
    https://dl.acm.org/doi/10.1145/960112.28721

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Detecting stable properties of networks in concurrent logic programming languages

    Autoři: Vijay Saraswat Ken Kahn David Weinbaum

    Zdroj: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - PODC '88. :210-222

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: https://dl.acm.org/citation.cfm?doid=62546.62582
    https://dblp.uni-trier.de/db/conf/podc/podc88.html#SaraswatKW88
    https://doi.org/10.1145/62546.62582
    https://dl.acm.org/doi/10.1145/62546.62582
    http://portal.acm.org/citation.cfm?doid=62546.62582

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Towards a formal semantics for concurrent logic programming languages

    Autoři: Lennart Beckman

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540164920

    Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-16492-8_86
    https://dblp.uni-trier.de/db/conf/iclp/iclp86.html#Beckman86
    https://link.springer.com/chapter/10.1007/3-540-16492-8_86
    https://link.springer.com/content/pdf/10.1007%2F3-540-16492-8_86.pdf

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    The Family of Concurrent Logic Programming Languages

    Autoři: WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE Shapiro, Ehud Y.

    Zdroj: DTIC AND NTIS

    Témata: Computer Programming and Software, HIGH LEVEL LANGUAGES, READING, COMPUTATIONS, DISTRIBUTED DATA PROCESSING, DISTRIBUTION, DYNAMICS, COMPUTER LOGIC, COMPUTER PROGRAMMING, PARALLEL PROCESSING, SURVEYS, SYNCHRONIZATION(ELECTRONICS), RANGE(EXTREMES), LOGIC, MATHEMATICAL MODELS, ISRAEL, FOREIGN REPORTS, Text

    URL: https://apps.dtic.mil/docs/citations/ADA213958

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Architectural support for concurrent logic programming languages

    Přispěvatelé: Alkalaj, L

    Popis souboru: Medium: X; Size: Pages: (vp.)

    Přístupová URL adresa: http://www.osti.gov/scitech/biblio/7184662

    View record at SciTech Connect Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    A Determinacy Testing Algorithm for Nondeterminate Flat Concurrent Logic Programming Languages

    Autoři: Tick, E. Korsloot, M.

    Témata: don't-know procedure, decision graph, node generation

    Popis souboru: application/pdf

    Relation: https://scholarsbank.uoregon.edu/xmlui/handle/1794/28440

    Dostupnost: https://scholarsbank.uoregon.edu/xmlui/handle/1794/28440

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Studies on formal semantics of concurrent logic programming languages
    並行論理型プログラミング言語の形式意味論に関する研究

    Autoři: 加藤, 暢 加藤暢 [著]

    View record at National Diet Library Digital Collections
    Přidat do oblíbených
  12. 12

    Objects in concurrent logic programming languages (abstract only)

    Autoři: Ken Kahn

    Zdroj: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming. :186

    Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/sigplan/sigplan21.html#Kahn86
    https://dl.acm.org/doi/10.1145/323779.323765
    http://portal.acm.org/citation.cfm?doid=323779.323765

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Objects in concurrent logic programming languages

    Autoři: Kahn, Kenneth Tribble, Eric Dean Miller, Mark S. a další

    Zdroj: Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - ; page 29-38

    Dostupnost: https://doi.org/10.1145/323779.323739
    https://dl.acm.org/doi/10.1145/323779.323739
    http://dl.acm.org/ft_gateway.cfm?id=323739%26amp%3Bftid=12110%26amp%3Bdwn=1

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    A Semantics for Concurrent Logic Programming Languages Based on Multiple- Valued Logic

    Autoři: Marion Glazerman Ben-jacob The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Marion Glazerman Ben-jacob The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf.

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.9511

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.252.9511
    http://thesai.org/Downloads/Volume3No10/Paper_2-A_Semantics_for_Concurrent_Logic_Programming_Languages_Based_on_Multiple-_Valued_Logic.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    The Family of Concurrent Logic Programming Languages

    Autoři: Shapiro, Ehud

    Zdroj: Logic, Algebra, and Computation ; page 359-485 ; ISBN 9783642768019 9783642767999

    Dostupnost: https://doi.org/10.1007/978-3-642-76799-9_10
    http://link.springer.com/content/pdf/10.1007/978-3-642-76799-9_10.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    The Family of Concurrent Logic Programming Languages EHUD SHAPIRO

    Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf.

    Témata: General Terms, Languages Additional Key Words and Phrases, Atomic unification, computation replay, distributed detection, incomplete messages, indeterminism, input matching, language e

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8108; http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8108
    http://www.wisdom.weizmann.ac.il/~udi/papers/concurrentlogicprog_89.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Chapter 9: cc Languages in Context: 9.2: Concurrent logic programming languages.

    Autoři: Saraswat, Vijay

    Zdroj: Concurrent Constraint Programming; 1993, p393-414, 22p

    Přidat do oblíbených
  18. 18

    The Family of Concurrent Logic Programming Languages.

    Autoři: Shapiro, Ehud

    Zdroj: ACM Computing Surveys; Sep89, Vol. 21 Issue 3, p413-510, 98p, 4 Diagrams, 5 Charts

    Témata: LOGIC programming languages, PROGRAMMING languages

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    Detecting stable properties of networks in concurrent logic programming languages.

    Autoři: Saraswat, Vijay A. Kahn, Kenneth Weinbaum, David

    Zdroj: Proceedings of the Seventh Annual ACM Symposium: Principles of Distributed Computing; Aug1988, p210-222, 13p

    Full Text Finder
    Přidat do oblíbených
  20. 20

    The Family of Concurrent Logic Programming Languages

    Autoři: Shapiro, Ehud Y. WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE

    Přispěvatelé: Shapiro, Ehud Y. WEIZMANN INST OF SCIENCE REHOVOT (ISRAEL) DEPT OF APPLIED MATHEMATICS AND COMPUTER SCIENCE

    Zdroj: DTIC AND NTIS

    Témata: Computer Programming and Software, HIGH LEVEL LANGUAGES, READING, COMPUTATIONS, DISTRIBUTED DATA PROCESSING, DISTRIBUTION, DYNAMICS, COMPUTER LOGIC, COMPUTER PROGRAMMING, PARALLEL PROCESSING, SURVEYS, SYNCHRONIZATION(ELECTRONICS), RANGE(EXTREMES), LOGIC, MATHEMATICAL MODELS, ISRAEL, FOREIGN REPORTS

    Popis souboru: text/html

    Relation: http://www.dtic.mil/docs/citations/ADA213958

    Dostupnost: http://www.dtic.mil/docs/citations/ADA213958
    http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA213958

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: