Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Andrew Cheese |
Multi-Moded Relations in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(6), pp. 49-51, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
PARLOG, PARLOG |
129 | Matthew M. Huntbach |
Implementing a graph-colouring algorithm in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(9), pp. 80-85, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
PARLOG |
123 | George A. Papadopoulos |
A Fine Grain Parallel Implementation of PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL), pp. 313-327, 1989, Springer, 3-540-50940-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
117 | Keith L. Clark |
PARLOG and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(12), pp. 1792-1804, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
parallel logic programming language, parallel programming, object-oriented programming, object-oriented programming, logic programming, Prolog, PROLOG, high level languages, systems programming, PARLOG, PARLOG |
110 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 1-49, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
96 | Keith L. Clark, Ian T. Foster |
A Declarative Environment for Concurrent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 212-242, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
84 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 27-34, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
84 | Andrew Davison 0001 |
From Parlog to Polka in two easy Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 171-182, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
84 | Keith L. Clark |
PARLOG: The Language and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 30-53, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
72 | Tom Conlon |
Thinking in parallel: four steps to Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(3), pp. 285-324, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Logic programming, concurrent programming, Parlog |
65 | Hamish Taylor |
A Lingua Franca For Concurrent Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 225-236, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog |
58 | Man-lai Tse, Wing-hang Wong, Ho-fung Leung |
Programming with Communicating Nondeterministic Logic Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 556-558, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Douglas Renaux, Paul P. Dasiewicz |
RTX-Parlog: Real-Time Extended Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings., pp. 147-153, 1993, IEEE, 0-8186-4110-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
47 | Rémi Bougault, Bernard Borderie, Abdelouahad Chbihi, Quentin Fable, John David Frankland, Emmanuelle Galichet, Tom Genard, Diégo Gruyer, Maxime Henri, Marco La Commara, Nicolas Le Neindre, Ivano Lombardo, Olivier Lopez, Marian Pârlog, Piotr Pawlowski, Giuseppe Verde, Emmanuel Vient, Mariano Vigilante |
Light Cluster Production in Central Symmetric Heavy-Ion Reactions from Fermi to Gev Energies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1406, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
47 | Ion Ivan, Otilia Parlog, Petrisor Oprea, Gheroghe Nosca, Anca-Andreea Ivan |
Data Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IQ ![In: Third Conference on Information Quality (IQ 1998), pp. 215-231, 1998, MIT. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
26 | Nate Black |
Nicolai Parlog on Java 9 Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 35(3), pp. 101-104, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Man-lai Tse, Wing-hang Wong, Ho-fung Leung |
P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995, pp. 640, 1995, MIT Press, 0-262-62099-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
26 | Domenico Talia |
A Survey of Parlog and Concurrent Prolog: The Integration of Logic and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 18(3), pp. 185-196, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Manuel Díaz, José M. Troya |
A parlog based real-time distributed logic environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 9(3), pp. 201-218, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Steve Gregory |
Experiments with Speculative Parallelism in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993, pp. 370-387, 1993, MIT Press, 0-262-63152-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | María-del-Mar Gallardo, José M. Troya |
Parlog Programs Nontermination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GULP ![In: 8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993, pp. 237-250, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
26 | Jim A. Crammond |
The Abstract Machine and Implementation of Parallel Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 10(4), pp. 385-422, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Cheese |
Parallel Execution of Parlog ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
DOI RDF |
|
26 | Matthew M. Huntbach |
Parallel branch-and-bound search in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 20(4), pp. 299-314, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Henri E. Bal |
Heuristic search in PARLOG using replicated worker style parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 6(4), pp. 303-315, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 191-198, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Domenico Talia |
Survey and Comparison of PARLOG and Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(1), pp. 33-42, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Jim A. Crammond |
Scheduling and Variable Assignment in the Parallel PARLOG Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NACLP ![In: Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990, pp. 642-657, 1990, MIT Press, 0-262-54058-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Robert J. Kuhns |
A PARLOG Implementation of Government-Binding Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 13th International Conference on Computational Linguistics, COLING 1990, University of Helsinki, Finland, August 20-25, 1990, pp. 394-396, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Zhenzhong Li, Dingxing Wang |
A high level compiling implementation of PARLOG based on extended graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAI ![In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990, pp. 507-510, 1990, IEEE Computer Society, 0-8186-2084-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Cheese |
Parallel execution of Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
26 | Robert B. Scott, Rajiv Trehan |
Translating from PARLOG to Occam2: A Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 1(1), pp. 105-134, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Steve Gregory, Ian T. Foster, Alastair D. Burt, Graem A. Ringwood |
An Abstract Machine for the Implementation of PARLOG on Uniprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 6(4), pp. 389-420, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Matthew M. Huntbach |
Meta-interpreters and Partial Evaluation in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 1(2), pp. 193-211, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Tom Conlon |
Programming in PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
26 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Semantic Models for a Version of PARLOG. (long version: TCS 86(1): 3-33 (1991)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989, pp. 621-636, 1989, MIT Press, 0-262-62065-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
26 | Andrew Davison 0001 |
Polka: a parlog object oriented language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
26 | Kevin Steer |
Testing Data Flow Diagrams with PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 96-110, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | G. Richard, Antoine Rizk |
Sémantique de Parlog, un langage logique parallèle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 491-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | David R. Gilbert |
A LOTOS to PARLOG Translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 31-44, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | David R. Gilbert |
Specification and Implementation of Concurrent Systems using PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 455-473, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Ian T. Foster |
Parallel Implementation of Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP (2) ![In: Proceedings of the International Conference on Parallel Processing, ICPP '88, The Pennsylvania State University, University Park, PA, USA, August 1988. Volume 2: Software., pp. 9-16, 1988, Pennsylvania State University Press. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Ian T. Foster |
Parlog as a systems programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
26 | Ian T. Foster, Stephen Taylor |
Flat Parlog: A basis for comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 16(2), pp. 87-125, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Steve Gregory |
Parallel logic programming in PARLOG - the language and its implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1987 |
RDF |
|
26 | Matthew M. Huntbach |
Algorithmic PARLOG Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLP ![In: Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987, pp. 288-297, 1987, IEEE-CS, 0-8186-0799-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Melissa Lam, Steve Gregory |
PARLOG and ALICE : A Marriage of Convenience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 294-310, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Keith L. Clark, Steve Gregory |
PARLOG and PROLOG United. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 927-961, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | David R. Gilbert |
Executable LOTOS: Using PARLOG to Implement an FDT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 281-294, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
26 | Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh |
A Sequential Implementation of Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings, pp. 149-156, 1986, Springer, 3-540-16492-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Keith L. Clark, Steve Gregory |
Notes on the Implementation of Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 2(1), pp. 17-42, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Krysia Broda, Steve Gregory |
Parlog for Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984, pp. 301-312, 1984, Uppsala University. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
26 | Keith L. Clark, Steve Gregory |
Notes on System Programming in Parlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 299-306, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
19 | Catuscia Palamidessi |
Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 1-2, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Enrique Alba 0001, José Francisco Aldana Montes, José M. Troya |
Full Automatic ANN Design: A Genetic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 399-404, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Chris Fickert, Thomas A. Sudkamp |
Unification based FP interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(11), pp. 49-58, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
FP |
19 | Seif Haridi, Catuscia Palamidessi |
Structural Operational Semantics for Kernel Andorra Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 238-253, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Mukhtar Hussain, Jatinder Singh Bedi |
Parallel processing in knowledge-based diagnostic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 3(4), pp. 293-303, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Parallel processing, database, artificial intelligence, knowledge engineering, production systems |
19 | Henri E. Bal |
Languages for Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRISMA Workshop ![In: Parallel Database Systems, PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990, Proceedings, pp. 3-23, 1990, Springer, 3-540-54132-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Akikazu Takeuchi, Kazuko Takahashi |
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: Theory, Language, And Architecture ![In: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings, pp. 173-209, 1989, Springer, 3-540-53932-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Kam-Fai Wong, M. Howard Williams |
Limiting a Resolution Set in a Large Prolog Database Using Special Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC ![In: Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, pp. 133-145, 1988, ACM, 978-0-89791-255-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
19 | Koichi Furukawa, Kazunori Ueda |
GHC - A Language for a New Age of Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 364-376, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Raghu Ramakrishnan 0001, Abraham Silberschatz |
Annotations for Distributed Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 255-262, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Vijay A. Saraswat |
Partial correctness semantics for CP [ , | , &]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 347-368, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|