|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A bialgebraic approach to automata and formal language theory |
Worthington, James |
2012 |
163 | 7 |
p. 745-762 18 p. |
artikel |
|
| 2 | A relational semantics for parallelism and non-determinism in a functional setting |
Bucciarelli, Antonio |
2012 |
163 | 7 |
p. 918-934 17 p. |
artikel |
|
| 3 | Canonical signed calculi with multi-ary quantifiers |
Zamansky, Anna |
2012 |
163 | 7 |
p. 951-960 10 p. |
artikel |
|
| 4 | Completeness results for memory logics |
Areces, Carlos |
2012 |
163 | 7 |
p. 961-972 12 p. |
artikel |
|
| 5 | Conservativity for logics of justified belief: Two approaches |
Milnikel, Robert S. |
2012 |
163 | 7 |
p. 809-819 11 p. |
artikel |
|
| 6 | Contents |
2012 |
163 | 7 |
p. iv- 1 p. |
artikel |
||
| 7 | Fixed point theorems on partial randomness |
Tadaki, K. |
2012 |
163 | 7 |
p. 763-774 12 p. |
artikel |
|
| 8 | In the full propositional logic, 5 / 8 of classical tautologies are intuitionistically valid |
Genitrini, Antoine |
2012 |
163 | 7 |
p. 875-887 13 p. |
artikel |
|
| 9 | Justification Logic as a foundation for certifying mobile computation |
Bonelli, Eduardo |
2012 |
163 | 7 |
p. 935-950 16 p. |
artikel |
|
| 10 | Light linear logics with controlled weakening: Expressibility, confluent strong normalization |
Kanovich, Max |
2012 |
163 | 7 |
p. 854-874 21 p. |
artikel |
|
| 11 | Lower complexity bounds in justification logic |
Buss, Samuel R. |
2012 |
163 | 7 |
p. 888-905 18 p. |
artikel |
|
| 12 | Preface |
Artemov, Sergei |
2012 |
163 | 7 |
p. 743-744 2 p. |
artikel |
|
| 13 | Product-free Lambek calculus is NP-complete |
Savateev, Yury |
2012 |
163 | 7 |
p. 775-788 14 p. |
artikel |
|
| 14 | Tableaux and hypersequents for justification logics |
Kurokawa, Hidenori |
2012 |
163 | 7 |
p. 831-853 23 p. |
artikel |
|
| 15 | Topological forcing semantics with settling |
Lubarsky, Robert S. |
2012 |
163 | 7 |
p. 820-830 11 p. |
artikel |
|
| 16 | Towards NP – P via proof complexity and search |
Buss, Samuel R. |
2012 |
163 | 7 |
p. 906-917 12 p. |
artikel |
|
| 17 | Unifying sets and programs via dependent types |
Moczydłowski, Wojciech |
2012 |
163 | 7 |
p. 789-808 20 p. |
artikel |
17 gevonden resultaten