E-LIB Suche - Ergebnisse für: Moss, Lawrence S.

1

Algebra of Self-Replication:

Moss, Lawrence S.
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

Logics for Epistemic Actions: Completeness, Decidability, E..:

Baltag, Alexandru ; Moss, Lawrence S. ; Solecki, Sławomir
Logics. 1 (2023) 2 - p. 97-147 , 2023

Link: https://doi.org/10.3390/..

3

Curing the SICK and Other NLI Maladies:

Kalouli, Aikaterini-Lida ; Hu, Hai ; Webb, Alexander F...
Computational Linguistics. 49 (2023) 1 - p. 199-243 , 2023

Link: https://doi.org/10.1162/..

4

A Simple Logic of Concepts:

Icard, Thomas F. ; Moss, Lawrence S.
Journal of Philosophical Logic. 52 (2022) 3 - p. 705-730 , 2022

Link: https://doi.org/10.1007/..

5

Corecursive Algebras in Nature:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Moss, Lawrence S. ; Noquez, Victoria - p. 155-175 , 2022

Link: https://doi.org/10.1007/..

6

EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS:

KRUCKMAN, ALEX ; MOSS, LAWRENCE S.
The Review of Symbolic Logic. 14 (2020) 3 - p. 728-765 , 2020

Link: https://doi.org/10.1017/..

7

On Well-Founded and Recursive Coalgebras:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S. - p. 17-36 , 2020

Link: https://doi.org/10.1007/..

8

Syllogistic logic with "Most":

Endrullis, Jörg ; Moss, Lawrence S.
Mathematical Structures in Computer Science. 29 (2019) 6 - p. 763-782 , 2019

Link: https://doi.org/10.1017/..

9

SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE..:

MOSS, LAWRENCE S. ; TOPAL, SELÇUK
The Review of Symbolic Logic. 13 (2018) 1 - p. 1-22 , 2018

Link: https://doi.org/10.1017/..

10

Long-Term Values in Markov Decision Processes, (Co)Algebrai..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Feys, Frank M. V. ; Hansen, Helle Hvid ; Moss, Lawrence S. - p. 78-99 , 2018

Link: https://doi.org/10.1007/..

11

Fixed points of functors:

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.
Journal of Logical and Algebraic Methods in Programming. 95 (2018) - p. 41-81 , 2018

Link: https://doi.org/10.1016/..

12

Majority Digraphs:

Lai, Tri ; Endrullis, Jörg ; Moss, Lawrence S.
Proceedings of the American Mathematical Society. 144 (2016) 9 - p. 3701-3715 , 2016

Link: https://www.jstor.org/st..

13

On finitary functors and their presentations:

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S..
Journal of Computer and System Sciences. 81 (2015) 5 - p. 813-833 , 2015

Link: https://doi.org/10.1016/..

14

On Final Coalgebras of Power-Set Functors and Saturated Tre..:

Adámek, Jiří ; Levy, Paul B. ; Milius, Stefan..
Applied Categorical Structures. 23 (2014) 4 - p. 609-641 , 2014

Link: https://doi.org/10.1007/..

15

Editors' Introduction: The Third Life of Quantum Logic: Qua..:

Dunn, J. Michael ; Moss, Lawrence S. ; Wang, Zhenghan
Journal of Philosophical Logic. 42 (2013) 3 - p. 443-459 , 2013

Link: https://doi.org/10.1007/..