|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic |
Manukian, S. N. |
2005 |
130 | 2 |
p. 4598-4606 |
artikel |
|
| 2 | A Weak Constructive Second-Order Arithmetic with Extraction of Algorithms Computable in Polynomial Time |
Beltiukov, A. P. |
2005 |
130 | 2 |
p. 4571-4573 |
artikel |
|
| 3 | Destinies and Decidability |
Cegielski, P. |
2005 |
130 | 2 |
p. 4620-4623 |
artikel |
|
| 4 | Diophantine Undecidability for Some Function Fields of Infinite Transcendence Degree and Positive Characteristic |
Shlapentokh, A. |
2005 |
130 | 2 |
p. 4631-4642 |
artikel |
|
| 5 | EMSO-Definability of Some Languages with Event Structures |
Shahbazyan, K. V. |
2005 |
130 | 2 |
p. 4624-4630 |
artikel |
|
| 6 | Formal Axiomatic Theories Based on a Three-Valued Logic |
Zaslavsky, I. D. |
2005 |
130 | 2 |
p. 4578-4597 |
artikel |
|
| 7 | New Models of Bounded Induction Axioms |
Boughattas, S. |
2005 |
130 | 2 |
p. 4574-4577 |
artikel |
|
| 8 | Sk,exp Does Not Prove NP = co-NP Uniformly |
Pollett, C. |
2005 |
130 | 2 |
p. 4607-4619 |
artikel |
8 gevonden resultaten