![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 370 matches
- 2024
- Daniyar S. Shamkanov:
On algebraic and topological semantics of the modal logic of common knowledge S4CI. Log. J. IGPL 32(1): 164-179 (2024) - Felix Weitkämper
:
The generalised distribution semantics and projective families of distributions. J. Log. Algebraic Methods Program. 139: 100975 (2024) - Andrew Tedder
:
An Algebraic View of the Mares-Goldblatt Semantics. J. Philos. Log. 53(2): 331-349 (2024) - Evan Piermont
:
Algebraic Semantics for Relative Truth, Awareness, and possibility. Rev. Symb. Log. 17(1): 154-177 (2024) - Ambrus Kaposi, Szumi Xie:
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. FSCD 2024: 10:1-10:24 - A. Mani
:
Rough Algebraic Semantics of Concepts in a Distributed Cognition Perspective. IJCRS (1) 2024: 50-66 - 2023
- Manuela Busaniche, Penélope Cordero, M. Marcos, Ricardo Oscar Rodríguez:
An algebraic semantics for possibilistic finite-valued Łukasiewicz logic. Int. J. Approx. Reason. 159: 108924 (2023) - Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Paola Giannini:
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131: 100844 (2023) - Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle
, Julio Mariño:
A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133: 100874 (2023) - Carlos Alberto Ramírez Restrepo
, Juan C. Jaramillo
, Jorge A. Pérez
:
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133: 100872 (2023) - Xiong Xu
, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan:
A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130: 100809 (2023) - Julian Grove
, Jean-Philippe Bernardy:
Algebraic Effects for Extensible Dynamic Semantics. J. Log. Lang. Inf. 32(2): 219-245 (2023) - Amir Farahmand Parsa, Meghdad Ghari
:
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. Stud Logica 111(4): 573-613 (2023) - Dang Van Pham
, Phan Cong Vinh
, Bao Khang Nguyen
:
Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream. ICTCC 2023: 19-35 - Martin E. Bidlingmaier:
Algebraic Semantics of Datalog with Equality. CoRR abs/2302.03167 (2023) - Matilde Marcolli, Robert C. Berwick, Noam Chomsky:
Syntax-semantics interface: an algebraic model. CoRR abs/2311.06189 (2023) - 2022
- Ana Claudia de Jesus Golzio:
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics. Bull. Symb. Log. 28(2): 260-261 (2022) - Manuela Busaniche, Penélope Cordero, Ricardo Oscar Rodríguez:
Algebraic semantics for the minimum many-valued modal logic over Łn. Fuzzy Sets Syst. 431: 94-109 (2022) - Manuela Busaniche, Penélope Cordero, Ricardo Oscar Rodríguez:
Corrigendum to "Algebraic semantics for the minimum many-valued modal logic over Łn" [Fuzzy Sets Syst. 431 (2022) 94-109]. Fuzzy Sets Syst. 447: 198-200 (2022) - Benoît Valiron
:
Semantics of quantum programming languages: Classical control, quantum control. J. Log. Algebraic Methods Program. 128: 100790 (2022) - Makoto Hamana
:
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Math. Struct. Comput. Sci. 32(4): 542-573 (2022) - George Metcalfe, Naomi Tokuda, Petr Cintula:
Algebraic Semantics for One-Variable Lattice-Valued Logics. AiML 2022: 237-258 - Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
:
Algebraic Semantics for C++11 Memory Model. COMPSAC 2022: 1-6 - Stefano Aguzzoli, Brunella Gerla
:
Invertible substitutions in logics with algebraic semantics equivalent to Product algebras. FUZZ-IEEE 2022: 1-8 - Ran Li
, Huibiao Zhu, Richard Banach:
Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS 2022: 123-132 - Ningning Chen, Huibiao Zhu:
Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC 2022: 132-150 - Petr Cintula, George Metcalfe, Naomi Tokuda:
Algebraic semantics for one-variable lattice-valued logics. CoRR abs/2209.08566 (2022) - 2021
- Eunsuk Yang:
Basic Core Fuzzy Logics and Algebraic Routley-Meyer-Style Semantics. Axioms 10(4): 273 (2021) - Li-Li Xiao, Huibiao Zhu, Qi-Wen Xu:
Trace Semantics and Algebraic Laws for Total Store Order Memory Model. J. Comput. Sci. Technol. 36(6): 1269-1290 (2021) - Aldo Iván Ramírez Abarca
, Jan M. Broersen:
Stit semantics for epistemic notions based on information disclosure in interactive settings. J. Log. Algebraic Methods Program. 123: 100708 (2021)
skipping 340 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-02 01:23 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint