Marco Calautti

Identifiers

• name variant Marco Calautti 0.60 · backfill

Papers (1)

1. Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols cs.LO · 2014 · author #1

Mentions

• 1407.2106 #1 · backfill · confidence 0.70 Marco Calautti

Frequent Coauthors

• Francesca Spezzano 1 shared papers
• Irina Trubitsyna 1 shared papers
• Sergio Greco 1 shared papers