• 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.

found 373 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)
• 
  Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su:
  Trace and Algebraic Semantics for Partial Store Order Memory Model. COMPSAC 2024: 2171-2176
• 
  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
• 
  Stefan Zetzsche, Wojciech Rozowski:
  Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. CoRR abs/2409.09889 (2024)
• 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)

skipping 343 more matches