Temat: relational semantics - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "relational semantics" wg kryterium: Temat

Wyświetlanie 1-10 z 12

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A proff system for dependencies for information relations
Autorzy:: MacCaull, W.
Data publikacji:: 2000
Słowa kluczowe:: information systems
dependencies
relational semantics
relational proof system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: New Semantical Insights Into Call-by-Value λ-Calculus
Autorzy:: Manzonetto, Giulio
Pagani, Michele
Ronchi Della Rocca, Simona
Data publikacji:: 2019
Słowa kluczowe:: lambda calculus
call-by-value
relational semantics
approximation theorem
intersection types; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
Autorzy:: Robles, G.
Data publikacji:: 2016
Słowa kluczowe:: RM3
R-Mingle
relevant logics
quasi-relevant logics
Routley-Meyer semantics
relational semantics
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic
Autorzy:: Tkaczyk, Marcin
Data publikacji:: 2008
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika temporalna
logika tensalna
logika modalna
semantyka relacyjna
temporal logic
tense logic
modal logic
relational semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyers Logic B
Autorzy:: López, Sandra M.
Data publikacji:: 2021-09-02
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Ternary relational semantics
relevant logics
4-valued logics
Routley and Meyer's logic B
4-valued quasi-relevant logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Logiczne i metafizyczne aspekty możliwych światów Saula Aarona Kripkego
Logical and metaphysical aspects of Saul Aaron Kripkes possible worlds
Autorzy:: Sowiński, Bartłomiej
Słowa kluczowe:: Kripke, logic, intuition, modality, necessity, possible world, relational semantics
Kripke, logika, intuicja, modalność, konieczność, świat możliwy, semantyka relacyjna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards a Formal Representation of Interactive Systems
Autorzy:: Banu-Demergian, I. T.
Stefanescu, G.
Data publikacji:: 2014
Słowa kluczowe:: parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Beyond the Norm of Monogamy – Consensual Non-monogamy as an Example of a ‘Post-modern’ Relationship?
Autorzy:: Lipnicka Magdalena
Tematy:: consensual non-monogamy
postmodernity; semantics of love
relational anarchy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Beyond the Norm of Monogamy – Consensual Non-monogamy as an Example of a ‘Post-modern’ Relationship?
Autorzy:: Magdalena Lipnicka
Data publikacji:: 2023-09-27
Tematy:: consensual non-monogamy
postmodernity
semantics of love
relational anarchy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The Conceptual Relationships in N+N Compounds in Arabic Compared to English
Relacje pojęciowe w wyrażeniach złożonych N+N w języku arabskim w zestawieniu z językiem angielskim
Autorzy:: Abdel Rahman Mitib Altakhaineh
Data publikacji:: 2023
Tematy:: semantyka konceptualna
morfologia relacyjna
złożenia
język arabski
język angielski
conceptual semantics
relational morphology
compounds
Arabic
English; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 12

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies