|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 11 van 23 gevonden artikelen
| Titel: |
Finite Arithmetics |
| Auteur: |
Krynicki, Michał Mostowski, Marcin Zdanowski, Konrad |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 81 (2008) nr. 1-3 pagina's 183-202 |
| Jaar: |
2008-01-07 |
| Inhoud: |
The paper presents the current state of knowledge in the field of logical investigations of finite arithmetics. This is an attempt to summarize the ideas and results in this area. Some new results are presented – these are mainly generalizations of the earlier results related to properties of sl-theories and some nontrivial cases of FM-representability theorem. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 11 van 23 gevonden artikelen
| << vorige | volgende >> |