dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pier Giorgio Bosco (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso: An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language. IFIP Congress (1) 1992: 142-148
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi: Comments on "Logic-Programming with Equations". J. Log. Program. 11(1&2): 85-89 (1991)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Narrowing vs. SLD-Resolution. Theor. Comput. Sci. 59: 3-23 (1988)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi: A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) 1987: 374-393
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. TAPSOFT, Vol.2 1987: 276-290
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Elio Giovannetti: A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA 1986: 105-116
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, Elio Giovannetti: IDEAL: An Ideal Deductive Applicative Language. SLP 1986: 89-94
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPier Giorgio Bosco, G. Giandonato, Elio Giovannetti: A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. ICLP 1984: 219-229

Selection of 9 from 18 records - Pier Giorgio Bosco has 16 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page