Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andrzej Mostowski

An Undecidable Arithmetical Statement

Fundamenta Mathematicae

English

Nilpotent Free Groups

Fundamenta Mathematicae

English

Related publications

TSO-to-TSO Linearizability Is Undecidable

Acta Informatica

Computer Networks

Information Systems

English

Arithmetical Tauberian Theorems

Acta Arithmetica

English

Author Correction: Learnability Can Be Undecidable

Nature Machine Intelligence

English

Our Lady, Queen of Undecidable Propositions

Journal of Humanistic Mathematics

English

Embeddability of Simplicial Complexes Is Undecidable

English

Low Dimensional Hybrid Systems – Decidable, Undecidable, Donʼt Know

Information and Computation

Theoretical Computer Science

Computational Theory

Computer Science Applications

Information Systems

English

Minimal Covers and Arithmetical Sets

Proceedings of the American Mathematical Society

Applied Mathematics

English

Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic

English

Existential Heap Abstraction Entailment Is Undecidable

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English