INSTITUTO UNIVERSITARIO DE ESTUDIOS DE LA CIENCIA Y LA TECNOLOGÍA
Instituto
Universitat Oberta de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Oberta de Catalunya (9)
2023
-
The impact of personality variables on entrepreneurial orientation
International Journal of Business Environment, Vol. 14, Núm. 3, pp. 303-325
2022
-
Cryptocurrencies Impact on Financial Markets: Some Insights on Its Regulation and Economic and Accounting Implications
Lecture Notes in Networks and Systems
-
Exorcising the phantom zone
Information and Computation, Vol. 287
2021
-
Cryptocurrencies Impact on Financial Markets: Some Insights on Its Regulation and Economic and Accounting Implications
Blockchain and Applications (Springer Verlag), pp. 292-299
2019
-
Completeness in Equational Hybrid Propositional Type Theory
Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198
-
Rigid First-Order Hybrid Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
A semantics for equational hybrid propositional type theory
Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238
-
Henkin and Hybrid Logic
Studies in Universal Logic (Springer Nature), pp. 279-306