Bruno Scarpellini

12 papers Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
Undecidability through Fourier series.
Ann. Pure Appl. Log.
Peter Buser, Bruno Scarpellini
2010 J jnl
Recursive analysis of singular ordinary differential equations.
Ann. Pure Appl. Log.
Peter Buser, Bruno Scarpellini
2003 J jnl
Comments on 'Two Undecidable Problems of Analysis'.
Minds Mach.
Bruno Scarpellini
2003 J jnl
Two Undecidable Problems of Analysis.
Minds Mach.
Bruno Scarpellini
1987 — conf
A Class of EXP-Time Machines which can be Simulated by Polytape Machines.
Computation Theory and Logic
Bruno Scarpellini
1985 J jnl
Complex Boolean Networks Obtained by Diagonalization.
Theor. Comput. Sci.
Bruno Scarpellini
1985 J jnl
Lower bound results on lengths of second-order formulas.
Ann. Pure Appl. Log.
Bruno Scarpellini
1984 J jnl
Complete Second Order Spectra.
Math. Log. Q.
Bruno Scarpellini
1983 — conf
Second order spectra.
Logic and Machines
Bruno Scarpellini
1979 J jnl
Predicting the Future of Functions on Flows.
Math. Syst. Theory
Bruno Scarpellini
1977 J jnl
A New Realizability Notion for Intuitionistic Analysis.
Math. Log. Q.
Bruno Scarpellini
1962 J jnl
Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz.
J. Symb. Log.
Bruno Scarpellini