Roberto Barbuti

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Giorgio Levi

> Home > Persons > Roberto Barbuti

Publications

1993
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BarbutiCGL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BarbutiCGL93
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BarbutiGL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BarbutiGL93
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi:
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15(1): 133-181 (1993)
1992
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BarbutiCGL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BarbutiCGL92
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modeling Prolog Control. POPL 1992: 95-104
1991
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sas/BarbutiCGL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BarbutiCGL91
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124
1986
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/ph/deGrootL86/BarbutiBLM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/deGrootL86/BarbutiBLM86
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238
1984
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/BarbutiBLM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/BarbutiBLM84
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166
1982
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/BarbutiDL82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BarbutiDL82
Roberto Barbuti, Pierpaolo Degano, Giorgio Levi:
Toward an Inductionless Technique for Proving Properties of Logic Programs. ICLP 1982: 175-181

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.