1 |
Verification of Program Transformations with Inductive Refinement Types
|
|
|
|
In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Pansentient Monism: Formulating Panpsychism as a Genuine Psycho-Physical Identity Theory
|
|
Hughes, P. - : University of Exeter, 2019. : Sociology, Philosophy, and Anthropology, 2019
|
|
BASE
|
|
Show details
|
|
3 |
Materiality, meaning and mind - the ontology of meaning systems in language
|
|
|
|
BASE
|
|
Show details
|
|
5 |
ImproteK: introducing scenarios into human-computer music improvisation
|
|
|
|
In: ACM Computers in Entertainment ; https://hal.archives-ouvertes.fr/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩ (2017)
|
|
BASE
|
|
Show details
|
|
6 |
New Results on Morris's Observational Theory ; New Results on Morris's Observational Theory: the benefits of separating the inseparable
|
|
|
|
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; https://hal.inria.fr/hal-01337192 ; Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩ ; http://fscd2016.dcc.fc.up.pt/ (2016)
|
|
BASE
|
|
Show details
|
|
7 |
Internetsoziologie - Zwischenruf eines neuen Forschungsfeldes
|
|
|
|
In: Ausgewählte Beiträge des 16. Deutschen Präventionstages ; 13 (2012)
|
|
BASE
|
|
Show details
|
|
8 |
The Antithesis of Entropy: Biosemiotic Communication from Genetics to Human Language with Special Emphasis on the Immune Systems
|
|
|
|
In: Entropy ; Volume 12 ; Issue 4 ; Pages 631-705 (2010)
|
|
BASE
|
|
Show details
|
|
9 |
ПРОБЛЕМА РЕФЕРЕНТНОГО КЛАССА И ЕЕ КОНЦЕПТУАЛЬНОЕ, МАТЕМАТИЧЕСКОЕ И ИНСТРУМЕНТАЛЬНОЕ РЕШЕНИЕ В СИСТЕМНО-КОГНИТИВНОМ АНАЛИЗЕ
|
|
Луценко, Евгений. - : Федеральное государственное образовательное учреждение высшего профессионального образования Кубанский государственный аграрный университет, 2008
|
|
BASE
|
|
Show details
|
|
|
|