Search Results - Programming languages implementation and logic programming

Suggested Topics within your search.
Refine Results
  1. 1
    Cover Image

    Programming language implementation and logic programming : proceedings.

    Published 1989
    “…Programming languages implementation and logic programming…”
    Request a PDF (UCB only)
    Conference Proceeding

    Save to List
    Saved in:
  2. 2
    Cover Image

    Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /

    Published 1992
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /

    Published 1994
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Programming language implementation and logic programming international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings /

    Published 1990
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Programming language implementation and logic programming 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /

    Published 1992
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Programming language implementation and logic programming 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings /

    Published 1993
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Programming language implementation and logic programming 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings /

    Published 1991
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Programming languages implementation and logic programming international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /

    Published 1989
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Parallel logic programming in PARLOG : the language and its implementation / by Gregory, Steve

    Published 1987
    Book

    Save to List
    Saved in:
  10. 10
    Cover Image

    DLP : a language for distributed logic programming : design, semantics and implementation / by Eliëns, Anton

    Published 1992
    Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    Programming languages implementations, logics, and programs...

    Published 1995
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  12. 12
    Cover Image

    Programming languages implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings /

    Published 1996
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  13. 13
    Cover Image

    Programming with higher-order logic by Miller, Dale (Dale A.)

    Published 2012
    “…order logic programming languages -- 5.2.1 Higher-order …”
    Full Text (via ProQuest)
    Electronic eBook

    Save to List
    Saved in:
  14. 14
    Cover Image

    Functional and logic programming 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings /

    Published 2020
    “…Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming …”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  15. 15
    Cover Image

    Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /

    Published 2001
    “…A Higher-Order Logic Programming Language with Constraints /…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  16. 16
    Cover Image

    Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /

    Published 2012
    “…Compiling a Functional Logic Language: The Basic Scheme /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  17. 17
    Cover Image

    Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,...

    Published 2013
    “…Programming Techniques.The…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  18. 18
    Cover Image

    Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011, revised selected papers /

    Published 2012
    “…Analysis of Logic Programs Using Regular Tree Languages…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  19. 19
    Cover Image

    Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013, Proceedings /

    Published 2013
    “…Decidability and Implementation of Parametrized Logic Programs /…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  20. 20
    Cover Image

    Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /

    Published 2013
    “…A Hoare Logic for SIMT Programs /…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search