Applicative communicating processes in first order logic-Reference-Cited by-同舟云学术

Applicative communicating processes in first order logic

Published:1982 Issue: Volume: Page:1-14
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bellia Marco,Degano Pierpaolo,Levi Giorgio,Dameri Enrico,Martelli Maurizio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-11494-7_1.pdf

Reference24 articles.

1. E.A. Ashcroft and W.W. Wadge — LUCID, a Nonprocedural Language with Iteration — C.ACM 20 (1977), 519–526.

2. M. Bellia, P. Degano and G. Levi — A Functional plus Predicate Logic Programming Language — Proc. Logic Programming Workshop, Debrecen (Hungary) (1980), 334–347.

3. R.M. Burstall and J.A. Goguen — Putting Theories together to Make Specifications — Proc. 5th Int'l Joint Conf. on Artificial Intelligence, Cambridge (1977), 1045–1058.

4. R.M. Burstall, D.B. MacQueen and D.T. Sannella — HOPE: an Experimental Applicative Language — Proc. LISP Conference, Stanford (1980).

5. K. Clark and F. McCabe — IC-PROLOG Language Features — Proc. Logic Programming Workshop, Debrecen (Hungary) (1980), 45–52.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015

2. Free-Algebra Models for the π-Calculus;Foundations of Software Science and Computational Structures;2005

3. The relation between logic and functional languages: a survey;The Journal of Logic Programming;1986-10

4. Logic programming: The foundations, the approach and the role of concurrency;Current Trends in Concurrency;1986

5. Integrity constraints in logic databases;The Journal of Logic Programming;1985-10