Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annalisa Bossi

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 Nicoletta Cocco

> Home > Persons > Annalisa Bossi

Publications

2011
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/BossiC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/BossiC11
Annalisa Bossi, Nicoletta Cocco:
A valuable experience in logic programming. Intelligenza Artificiale 5(1): 95-99 (2011)
2008
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/BossiC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BossiC08
Annalisa Bossi, Nicoletta Cocco:
A Valuable Experience in Computational Logic. Il Milione 2008
2004
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiCER04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiCER04
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic 2004: 90-114
2002
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BossiCER02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BossiCER02
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
On modular termination proofs of general logic programs. Theory Pract. Log. Program. 2(3): 263-291 (2002)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BossiCE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BossiCE02
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond 2002: 162-186
2001
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BossiCR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BossiCR01
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi:
Termination of Well-Typed Logic Programs. PPDP 2001: 73-81
2000
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0005018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0005018
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
On Modular Termination Proofs of General Logic Programs. CoRR cs.LO/0005018 (2000)
1999
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/EtalleBC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EtalleBC99
Sandro Etalle, Annalisa Bossi, Nicoletta Cocco:
Termination of Well-Moded Programs. J. Log. Program. 38(2): 243-257 (1999)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiCE99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiCE99
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transformation of Left Terminating Programs. LOPSTR 1999: 156-175
1998
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiC98
Annalisa Bossi, Nicoletta Cocco:
Success in Logic Programs. LOPSTR 1998: 219-239
1997
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiC97
Annalisa Bossi, Nicoletta Cocco:
Programs Without Failures. LOPSTR 1997: 28-48
1996
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BossiCE96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BossiCE96
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Simultaneous Replacement in Normal Programs. J. Log. Comput. 6(1): 79-120 (1996)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiC96
Annalisa Bossi, Nicoletta Cocco:
Replacement Can Preserve Termination. LOPSTR 1996: 104-129
1995
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiCE95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiCE95
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR 1995: 33-45
1994
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BossiCF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BossiCF94
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris:
Norms on Terms and their use in Proving Universal Termination of a Logic Program. Theor. Comput. Sci. 124(2): 297-328 (1994)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/alp/BossiC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alp/BossiC94
Annalisa Bossi, Nicoletta Cocco:
Preserving Universal Termination through Unfold/Fold. ALP 1994: 269-286
1993
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BossiC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BossiC93
Annalisa Bossi, Nicoletta Cocco:
Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. J. Log. Program. 16(1): 47-87 (1993)
1992
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BossiCF92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BossiCF92
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris:
Typed Norms. ESOP 1992: 73-92
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/meta/BossiCE92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meta/BossiCE92
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
Transforming Normal Programs by Replacement. META 1992: 265-279
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/BossiCE92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/BossiCE92
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle:
On Safe Folding. PLILP 1992: 172-186
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BossiCF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BossiCF91
Annalisa Bossi, Nicoletta Cocco, Massimo Fabris:
Proving Termination of Logic Programs by Exploiting Term Properties. TAPSOFT, Vol.2 1991: 153-180
1990
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BossiCD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BossiCD90
Annalisa Bossi, Nicoletta Cocco, Susi Dulli:
A Method for Specializing Logic Programs. ACM Trans. Program. Lang. Syst. 12(2): 253-302 (1990)
1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BossiC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BossiC89
Annalisa Bossi, Nicoletta Cocco:
Verifying Correctness of Logic Programs. TAPSOFT, Vol.2 1989: 96-110
1983
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BossiCC83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BossiCC83
Annalisa Bossi, Nicoletta Cocco, Livio Colussi:
A Divide-and-Conquer Approach to General Context-Free Parsing. Inf. Process. Lett. 16(4): 203-208 (1983)

a service of

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.