Search

Your search keyword '"Moss, Lawrence S."' showing total 78 results

Search Constraints

Start Over You searched for: Author "Moss, Lawrence S." Remove constraint Author: "Moss, Lawrence S." Publication Type eBooks Remove constraint Publication Type: eBooks
78 results on '"Moss, Lawrence S."'

Search Results

1. Corecursive Algebras in Nature

2. On Well-Founded and Recursive Coalgebras

3. Long-Term Values in Markov Decision Processes, (Co)Algebraically

4. Syllogistic Logic with 'Most'

8. Eigenvalues and Transduction of Morphic Sequences

9. Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra

10. On Finitary Functors and Their Presentations

11. A Complete Logical System for the Equality of Recursive Terms for Sets

12. Well-Pointed Coalgebras (Extended Abstract)

13. Logics for Two Fragments beyond the Syllogistic Boundary

14. Intersecting Adjectives in Syllogistic Logic

15. Natural Logic and Semantics

16. CIA Structures and the Semantics of Recursion

18. Applied Logic: A Manifesto

19. Uniform Functors on Sets

20. The Category Theoretic Solution of Recursive Program Schemes

22. Evolving Algebras and Mathematical Models of Language

24. Algebraic operational semantics and Occam

25. Generalization of final algebra semantics by relativization

26. Optimal semantics of data type extensions

27. Recursive Program Schemes: Past, Present, and Future

28. Final algebras, cosemicomputable algebras, and degrees of unsolvability

29. APAL with Memory Is Better

30. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic

31. Lindenbaum and Pair Extension Lemma in Infinitary Logics

32. The Epistemology of Nondeterminism

33. Inhabitants of Intuitionistic Implicational Theorems

34. Deciding Open Definability via Subisomorphisms

35. A Formalization of Brouwer’s Argument for Bar Induction

36. A Semantical View of Proof Systems

37. Symbolic Reasoning Methods in Rewriting Logic and Maude

38. Beliefs Based on Evidence and Argumentation

39. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents

40. The Undecidability of Orthogonal and Origami Geometries

41. Algebraic Semantics for Nelson’s Logic

42. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving

43. Formalization of the Undecidability of the Halting Problem for a Functional Language

44. Advanced Kripke Frame for Quantum Logic

45. Unification Modulo Builtins

46. Handling Verb Phrase Anaphora with Dependent Types and Events

47. The Pleasure of Gossip

48. Parikh and Wittgenstein

49. Talking About Knowledge

50. Why Bother with Syntax?

Catalog

Books, media, physical & digital resources