Bruno Scarpellini

According to our database, Bruno Scarpellini authored at least 12 papers between 1962 and 2016.

Collaborative distances:

• Dijkstra number of eight.
• Erdős number of seven.

2016

Undecidability through Fourier series.

Peter Buser, Bruno Scarpellini

Ann. Pure Appl. Log., 2016

2010

Recursive analysis of singular ordinary differential equations.

Peter Buser, Bruno Scarpellini

Ann. Pure Appl. Log., 2010

2003

Comments on 'Two Undecidable Problems of Analysis'.

Bruno Scarpellini

Minds Mach., 2003

Two Undecidable Problems of Analysis.

Bruno Scarpellini

Minds Mach., 2003

1987

A Class of EXP-Time Machines which can be Simulated by Polytape Machines.

Bruno Scarpellini

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1985

Complex Boolean Networks Obtained by Diagonalization.

Bruno Scarpellini

Theor. Comput. Sci., 1985

Lower bound results on lengths of second-order formulas.

Bruno Scarpellini

Ann. Pure Appl. Log., 1985

1984

Complete Second Order Spectra.

Bruno Scarpellini

Math. Log. Q., 1984

1983

Second order spectra.

Bruno Scarpellini

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1979

Predicting the Future of Functions on Flows.

Bruno Scarpellini

Math. Syst. Theory, 1979

1977

A New Realizability Notion for Intuitionistic Analysis.

Bruno Scarpellini

Math. Log. Q., 1977

1962

Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz.

Bruno Scarpellini

J. Symb. Log., 1962