1 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Concurrent Game Semantics: Easy as Pi
|
|
|
|
In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020)
|
|
BASE
|
|
Show details
|
|
5 |
Natural language understanding in argumentative dialogue systems ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Conventions and Change in Semantics
|
|
|
|
In: http://rave.ohiolink.edu/etdc/view?acc_num=osu1555334547254546 (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Sprechen, Spielen, Spaß. Wie können sprachauffällige Kinder im Unterricht gefördert werden?
|
|
|
|
In: Jungmann, Tanja [Hrsg.]; Gierschner, Beate [Hrsg.]; Meindl, Marlene [Hrsg.]; Sallat, Stephan [Hrsg.]: Sprach- und Bildungshorizonte. Wahrnehmen - Beschreiben - Erweitern. Idstein : Schulz-Kirchner Verlag 2018, S. 225-233. - (Sprachheilpädagogik aktuell; 3) (2018)
|
|
BASE
|
|
Show details
|
|
9 |
Sprechen, Spielen, Spaß. Wie können sprachauffällige Kinder im Unterricht gefördert werden? ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
О некоторых особенностях формирования диатезы в языковой игре
|
|
|
|
BASE
|
|
Show details
|
|
12 |
ВЕРБАЛЬНЫЙ КОМПОНЕНТ СИНТЕТИЧЕСКОЙ ЯЗЫКОВОЙ ЛИЧНОСТИ В РУССКОЙ ЛИТЕРАТУРЕ НОНСЕНСА КОНЦА ХХ ВЕКА
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
|
|
|
|
In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016)
|
|
BASE
|
|
Show details
|
|
14 |
Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01400666 ; Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016 (2016)
|
|
BASE
|
|
Show details
|
|
15 |
Karl Valentin und die Verhandelbarkeit des sprachlichen Ausdrucks ... : Karl Valentin and the negotiability of human lanugage ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
ВЗАИМОДЕЙСТВИЕ ФОРМЫ И СОДЕРЖАНИЯ В РЕКЛАМНОМ И ХУДОЖЕСТВЕННОМ ДИСКУРСАХ
|
|
|
|
BASE
|
|
Show details
|
|
|
|