EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2

Displaying 21 – 28 of 28

Some undecidable theories with monadic predicates and without equality.

Hans Kleine Büning (1981)

Archiv für mathematische Logik und Grundlagenforschung

Spezielle Gleichungen in freien Halbgruppen und eine Anwendung auf Normalformen regulärer Ereignisse

J. DASSOW, W. HARNAU (1976)

Beiträge zur Algebra und Geometrie = Contributions to algebra and geometry

Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.

Wolfgang Friedrich (1984)

Archiv für mathematische Logik und Grundlagenforschung

Stackautomaten in Labyrinthen.

Horst Müller (1971)

Archiv für mathematische Logik und Grundlagenforschung

String Matching And Algorithmic Problems In Free Groups.

Klaus Madlener, Jürgen Avenhaus (1980)

Revista colombiana de matematicas

Strong $94_{2}^{0}$ categoricity.

С.Дж. Аш, С.С. Гончаров, S.S. Gončarov, S.S. Gončarov (1985)

Algebra i Logika

Sublogarithmic $\sum_{2}$ -space is not closed under complement and other separation results

V. Geffert (1993)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Syntéza a minimalizace regulárních lineárních generátorů

Josef Pužman (1967)

Kybernetika

Currently displaying 21 – 28 of 28

Previous Page 2