Extensions décidables et indécidables de la théorie monadique du deuxième ordre de deux fonctions de successeur
By: Christian Savioz
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1985
Language: fre
Number of pages: 62
Notes: Thesis (doctoral)--Ecole polytechnique fédérale de Zurich, 1985.