Browse by Subject

Subcategories: There are no further subcategories

53 Results for this Subject

Subscribe to RSS feed for this result set

Page 1 of 3

1 2 3 Next Page › Last Page »

1. A parallel resolution method for logic programs

Zolliker, Urs (1993)


Doctoral and Habilitation Theses

4. Atome und Präfixe in der Wissenslogik

Scherer, Beat Georges (1995)


Doctoral and Habilitation Theses

5. Auswahlaxiom in der Algebra

Läuchli, Hans (1962)


Doctoral and Habilitation Theses

7. Complexity of triangulation

Below, Alexander (2002)


Doctoral and Habilitation Theses

8. Contributions à la technique de la logique ternaire

Bitran, Münir (1971)


Doctoral and Habilitation Theses

10. {Delta}-logics and generalized quantifiers

Makowsky, Johann Andreas (1974)


Doctoral and Habilitation Theses

12. Die Philosophie des Strikten Finitismus

Welti, Ernst (1986)


Doctoral and Habilitation Theses

14. Eine partielle Prädikatenlogik

Clavadetscher-Seeberger, Erna (1983)


Doctoral and Habilitation Theses

16. Equational completion by proof transformation

Küchlin, Wolfgang (1986)


Doctoral and Habilitation Theses

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

Volken, Henri (1978)


Doctoral and Habilitation Theses

19. Fortsetzung mathematischer Objekte

Weber, Karl (1981)


Doctoral and Habilitation Theses

20. Fragmente von "New Foundations" und Typentheorie

Oswald, Urs (1976)


Doctoral and Habilitation Theses

24. Investigations on a calculus without contractions

Mey, Daniel (1992)


Doctoral and Habilitation Theses

25. Kombinatorische Logik und S-Terme

Zachos, Efstathios (1978)


Doctoral and Habilitation Theses


Page 1 of 3

1 2 3 Next Page › Last Page »