Concepedia

A Mostowski

AM

Statistics

Publications

5

Citations

231

H-Index

5

Active since

1958

Affiliations

University of Gdańsk(Current)

A Mostowski is an author at University of Gdańsk specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningRepresentation TheoryEducationFormal LogicLinear GroupsMulti-sorted LogicAlgebraic Complexity

Publications per year

1958–1991

5

Publications

5

On the decidability of some problems in special classes of groups

A Mostowski · Fundamenta Mathematicae · 1966 · 83 citations · Full text

Representation Theory, Linear Groups, Special Classes +6

The classical and the <i>ω</i>-complete arithmetic

Andrzej Grzegorczyk, A Mostowski, C. Ryll–Nardzewski · Journal of Symbolic Logic · 1958 · 55 citations

Formal Logic, Formal Systems, Engineering +13

Introduction to Higher Algebra.

E. A. Maier, A Mostowski, Marceli Stark · American Mathematical Monthly · 1966 · 49 citations

Higher Algebra, Non-commutative Algebra, Abstract Algebra +1

Hierarchies of weak automata and weak monadic formulas

A Mostowski · Theoretical Computer Science · 1991 · 34 citations

Engineering, Automated Reasoning, Formal Methods +5

Determinancy of sinking automata on infinite trees and inequalities between various Rabin's pair indices

A Mostowski · Information Processing Letters · 1982 · 10 citations

Tree Language, Combinatorics On Word, Engineering +9

Rows per page

1–5 of 5