Sfoglia per Rivista ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
Mostra risultati da 1 a 5 di 5
A model where cardinal ordering is universal
1985-01-01 Forti, Marco; F., Honsell
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems
1979-01-01 Borger, Egon
Comparison between the axioms of local and global universality
1984-01-01 Forti, Marco; Honsell, F. .
Eine entscheidbare Klasse von Kromformeln
1973-01-01 Borger, Egon
The r. e. complexity of decision problems for commutative semi-Thue Systems with recursive rule set
1980-01-01 Borger, Egon
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A model where cardinal ordering is universal | 1-gen-1985 | Forti, Marco; F., Honsell | |
A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems | 1-gen-1979 | Borger, Egon | |
Comparison between the axioms of local and global universality | 1-gen-1984 | Forti, Marco; Honsell, F. . | |
Eine entscheidbare Klasse von Kromformeln | 1-gen-1973 | Borger, Egon | |
The r. e. complexity of decision problems for commutative semi-Thue Systems with recursive rule set | 1-gen-1980 | Borger, Egon |
Mostra risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile