Giovanni Faglia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

2 Giovanni Faglia: Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. Kurt Gödel Colloquium 1993: 184-186

1 Giovanni Faglia, Paul Young: In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition. Kurt Gödel Colloquium 1993: 187-189

	1993
2		Giovanni Faglia: Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. Kurt Gödel Colloquium 1993: 184-186
1		Giovanni Faglia, Paul Young: In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition. Kurt Gödel Colloquium 1993: 187-189

Coauthor Index

1 Paul Young [1]