:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Pratt-Hartmann, Ian, Düntsch, Ivo
Format:	Preprint
Published:	2009
Subjects:	Logic in Computer Science F.1.1
Online Access:	https://arxiv.org/abs/0911.0105
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complex Algebras of Arithmetic
by: Düntsch, Ivo, et al.
Published: (2009)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
by: Pratt-Hartmann, Ian
Published: (2007)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2004)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2008)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
by: Kazakov, Yevgeny, et al.
Published: (2009)

The Fluted Fragment with Transitive Relations
by: Pratt-Hartmann, Ian, et al.
Published: (2020)

The Hamiltonian Syllogistic
by: Pratt-Hartmann, Ian
Published: (2010)

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
by: Xue, Chengfeng, et al.
Published: (2026)

On the existence of strong proof complexity generators
by: Krajicek, Jan
Published: (2022)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

Logics for the Relational Syllogistic
by: Pratt-Hartmann, Ian, et al.
Published: (2008)

On the Counting Complexity of the Skolem Problem
by: Jindal, Gorav, et al.
Published: (2024)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

How to Verify a Turing Machine with Dafny
by: Lederer, Edgar F. A.
Published: (2026)

Reactive Synthesis for Expected Impacts
by: Chini, Emanuele, et al.
Published: (2024)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
by: Grabmayer, Clemens
Published: (2024)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps
by: Ambroszkiewicz, Stanislaw, et al.
Published: (2021)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)

Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)

Probabilistic Nets-within-Nets
by: Köhler-Bußmeier, Michael
Published: (2024)

On Equivalent Characterizations of NP in Abstract Models of Computation
by: Kirn, Jeremy C., et al.
Published: (2025)

A "Symbolic" Representation of Object-Nets (Extended Version)
by: Köhler-Bussmeier, Michael, et al.
Published: (2024)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
by: Flach, João, et al.
Published: (2023)

Imperative process algebra and models of computation
by: Middelburg, C. A.
Published: (2022)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

Edit Distance of Finite-Valued Transducers
by: Mathew, Prince, et al.
Published: (2026)

Edit Distance of Finite State Transducers
by: Aiswarya, C., et al.
Published: (2024)

Biochemical Computing Mode for Sequential Logic
by: Huang, Han, et al.
Published: (2025)

PVASS Reachability is Decidable
by: Guttenberg, Roland, et al.
Published: (2025)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
by: Guttenberg, Roland, et al.
Published: (2025)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
by: Aiswarya, C, et al.
Published: (2024)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)