Browse by Subject

Subcategories: There are no further subcategories

55 Results for this Subject

Subscribe to RSS feed for this result set

Page 1 of 3

1 2 3 Next Page › Last Page »

2. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Doctoral and Habilitation Theses

5. Atome und Präfixe in der Wissenslogik

Scherer, Beat Georges (1995)


Doctoral and Habilitation Theses

6. Auswahlaxiom in der Algebra

Läuchli, Hans (1962)


Doctoral and Habilitation Theses

8. Complexity of triangulation

Below, Alexander (2002)


Doctoral and Habilitation Theses

9. Contributions à la technique de la logique ternaire

Bitran, Münir (1971)


Doctoral and Habilitation Theses

11. {Delta}-logics and generalized quantifiers

Makowsky, Johann Andreas (1974)


Doctoral and Habilitation Theses

13. Die Philosophie des Strikten Finitismus

Welti, Ernst (1986)


Doctoral and Habilitation Theses

15. Eine partielle Prädikatenlogik

Clavadetscher-Seeberger, Erna (1983)


Doctoral and Habilitation Theses

17. Equational completion by proof transformation

Küchlin, Wolfgang (1986)


Doctoral and Habilitation Theses

19. Formale Stetigkeit und Modelle des Lambda-Kalküls

Volken, Henri (1978)


Doctoral and Habilitation Theses

20. Fortsetzung mathematischer Objekte

Weber, Karl (1981)


Doctoral and Habilitation Theses

21. Fragmente von "New Foundations" und Typentheorie

Oswald, Urs (1976)


Doctoral and Habilitation Theses

23. Graph algebras, algebraic and denotational semantics

Maeder, Roman E. (1986)


Doctoral and Habilitation Theses

25. Investigations on a calculus without contractions

Mey, Daniel (1992)


Doctoral and Habilitation Theses


Page 1 of 3

1 2 3 Next Page › Last Page »