default search action

combined dblp search
author search
venue search
publication search

ask others

Archiv für mathematische Logik und Grundlagenforschung, Volume 19

> Home > Journals > Archiv für mathematische Logik und Grundlagenforschung

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 19, Number 1, December 1978

- view
  authority control:
- export record
  dblp key:
  - journals/aml/AvenhausM78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/AvenhausM78
Jürgen Avenhaus, Klaus Madlener:
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. 3-12
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Sonenberg78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Sonenberg78
Elizabeth A. Sonenberg:
On the elementary theory of inductive order. 13-22
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Weispfenning78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Weispfenning78
Volker Weispfenning:
A note on ℵ₀-categorical model-companions. 23-29
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Haberthur78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Haberthur78
R. Haberthür:
Choice sequences and reduction processes. 31-49
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Gold78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Gold78
Bonnie Gold:
Compact and ϖ-compact formulas in 51-151-151-1. 51-64
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Vogel78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Vogel78
H. Vogel:
Eine beweistheoretische Anwendung partieller stetiger Funktionale. 65-78
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Kaiser78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Kaiser78
Klaus Kaiser:
On relational selections for complete theories. 79-87
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Hebeisen78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Hebeisen78
Friedrich von Hebeisen:
Charakterisierung der Aufzählungsreduzierbarkeit. 89-95
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Wirsing78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Wirsing78
Martin Wirsing:
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. 97-109
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Borger78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Borger78
Egon Börger:
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen. 111-114
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Paola78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Paola78
Robert A. Di Paola:
The operator gap theorem in α-recursion theory. 115-129
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Blanc78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Blanc78
Georges Blanc:
Équivalence naturelle et formules logiques en théorie des catégories. 131-137
- view
  authority control:
- export record
  dblp key:
  - journals/aml/CoppoD78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/CoppoD78
Mario Coppo, Mariangiola Dezani-Ciancaglini:
A new type assignment for λ-terms. 139-156
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Caporaso78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Caporaso78
Salvatore Caporaso:
Consistency proof without transfinite induction for a formal system for turing machines. 157-164
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Vogel78a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Vogel78a
H. Vogel:
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen. 165-173
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Stein78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Stein78
Martin Stein:
Interpretationen der Heyting-Arithmetik endlicher Typen. 175-189

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.