:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Düntsch, Ivo, Pratt-Hartmann, Ian
Format:	Preprint
Veröffentlicht:	2009
Schlagworte:	Logic in Computer Science F.1.1
Online-Zugang:	https://arxiv.org/abs/0911.5246
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functions Definable by Numerical Set-Expressions
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2009)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2004)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
von: Pratt-Hartmann, Ian
Veröffentlicht: (2007)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2008)

Discrete dualities for some algebras from rough sets
von: Düntsch, Ivo, et al.
Veröffentlicht: (2026)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

On the Counting Complexity of the Skolem Problem
von: Jindal, Gorav, et al.
Veröffentlicht: (2024)

The Fluted Fragment with Transitive Relations
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2020)

On the Realizability of Prime Conjectures in Heyting Arithmetic
von: Rosko, Milan
Veröffentlicht: (2025)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
von: Xue, Chengfeng, et al.
Veröffentlicht: (2026)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Algebra of Self-Replication
von: Moss, Lawrence S.
Veröffentlicht: (2023)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

Hardness of busy beaver value BB(15)
von: Stérin, Tristan, et al.
Veröffentlicht: (2021)

Logics for the Relational Syllogistic
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2008)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

How to Verify a Turing Machine with Dafny
von: Lederer, Edgar F. A.
Veröffentlicht: (2026)

Reactive Synthesis for Expected Impacts
von: Chini, Emanuele, et al.
Veröffentlicht: (2024)

Turing machines deciders, part I
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

On some computational properties of open sets
von: Normann, Dag, et al.
Veröffentlicht: (2024)

The Syllogistic with Unity
von: Pratt-Hartmann, Ian
Veröffentlicht: (2011)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

Neural networks as fuzzy logic formulas
von: Heiman, Damian, et al.
Veröffentlicht: (2026)

Place Bisimilarity is Decidable, Indeed!
von: Gorrieri, Roberto
Veröffentlicht: (2021)

Probabilistic Nets-within-Nets
von: Köhler-Bußmeier, Michael
Veröffentlicht: (2024)

On Equivalent Characterizations of NP in Abstract Models of Computation
von: Kirn, Jeremy C., et al.
Veröffentlicht: (2025)

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

On the computational properties of basic mathematical notions
von: Normann, Dag, et al.
Veröffentlicht: (2022)

Probabilistic Shoenfield Machines
von: Bujok, Maksymilian, et al.
Veröffentlicht: (2024)

Imperative process algebra and models of computation
von: Middelburg, C. A.
Veröffentlicht: (2022)

The Algebra of Nondeterministic Finite Automata
von: Gorrieri, Roberto
Veröffentlicht: (2023)

Edit Distance of Finite-Valued Transducers
von: Mathew, Prince, et al.
Veröffentlicht: (2026)

Edit Distance of Finite State Transducers
von: Aiswarya, C., et al.
Veröffentlicht: (2024)

Biochemical Computing Mode for Sequential Logic
von: Huang, Han, et al.
Veröffentlicht: (2025)

PVASS Reachability is Decidable
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
von: Aiswarya, C, et al.
Veröffentlicht: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
von: Backhouse, Roland, et al.
Veröffentlicht: (2023)