Person:1337602

Available identifiers

zbMath Open galvan.sergioMaRDI QIDQ1337602

List of research outcomes

Publication	Date of Publication	Type
Analysis of Penrose's second argument formalised in DTK system	2022-09-21	Paper
An Introduction to Proof Theory	2021-08-24	Paper
A Classical Logic of Existence and Essence	2021-08-17	Paper
Optimization methodology assessment for the inlet velocity profile of a hydraulic turbine draft tube. I: Computer optimization techniques	2013-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4453704	2004-03-07	Paper
A note on the \(\omega\)-incompleteness formalization	1994-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3358714	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sergio Galvan