|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Programming Language for the Interval Geometric Machine |
Reiser, Renata Hax Sander |
2003 |
84 | C |
p. 154-165 12 p. |
artikel |
|
| 2 | A Tableau Method for the Lambek Calculus based on a Matrix Characterization |
Vana, Leonardo B. |
2003 |
84 | C |
p. 190-204 15 p. |
artikel |
|
| 3 | Calculus of structures and proof-nets |
Joinet, Jean-Baptiste |
2003 |
84 | C |
p. 17- 1 p. |
artikel |
|
| 4 | Cut Elimination in a Class of Sequent Calculi for Pure Type Systems |
Gutiérrez, Francisco |
2003 |
84 | C |
p. 105-116 12 p. |
artikel |
|
| 5 | Economics and Economy in the Theory of Belief Revision (Preliminary Report) |
Rott, Hans |
2003 |
84 | C |
p. 30-44 15 p. |
artikel |
|
| 6 | Encryption as an abstract data-type |
Miller, Dale |
2003 |
84 | C |
p. 18-29 12 p. |
artikel |
|
| 7 | Expressibility of Higher Order Logics |
Hella, Lauri |
2003 |
84 | C |
p. 129-140 12 p. |
artikel |
|
| 8 | Fusion of Pedigreed Preferential Relations |
Suzuki, Yoshitaka |
2003 |
84 | C |
p. 178-189 12 p. |
artikel |
|
| 9 | Gap Embedding for Well-Quasi-Orderings 1 1 This research was supported in part by The Israel Science Foundation (grant no. 254/01). |
Dershowitz, Nachum |
2003 |
84 | C |
p. 80-90 11 p. |
artikel |
|
| 10 | Intersection Types and Computational Rules |
Alessi, Fabio |
2003 |
84 | C |
p. 45-59 15 p. |
artikel |
|
| 11 | k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures |
Béchet, Denis |
2003 |
84 | C |
p. 60-72 13 p. |
artikel |
|
| 12 | Lowness Properties of Reals and Hyper-Immunity |
Callejas Bedregal, Benjamín René |
2003 |
84 | C |
p. 73-79 7 p. |
artikel |
|
| 13 | NL-printable sets and Nondeterministic Kolmogorov Complexity |
Allender, Eric |
2003 |
84 | C |
p. 1-15 15 p. |
artikel |
|
| 14 | On Functional Dependencies in Advanced Data Models |
Hartmann, Sven |
2003 |
84 | C |
p. 117-128 12 p. |
artikel |
|
| 15 | Preface |
de Queiroz, Ruy |
2003 |
84 | C |
p. 229-231 3 p. |
artikel |
|
| 16 | Quantifier-free logic for multialgebraic theories |
Lamo, Yngve |
2003 |
84 | C |
p. 141-153 13 p. |
artikel |
|
| 17 | Quantifying over Quantifiers |
Hella, Lauri |
2003 |
84 | C |
p. 16- 1 p. |
artikel |
|
| 18 | Some properties of intercategorial entailment |
Zuber, R. |
2003 |
84 | C |
p. 217-228 12 p. |
artikel |
|
| 19 | Statistics of implicational logic 1 1 Supported by the State Committee for Scientific Research in Poland (KBN), research grant 7T11C 022 21 |
Zaionc, Marek |
2003 |
84 | C |
p. 205-216 12 p. |
artikel |
|
| 20 | System NEL is Undecidable |
Straßburger, Lutz |
2003 |
84 | C |
p. 166-177 12 p. |
artikel |
|
| 21 | The Universe of Approximations |
Finger, Marcelo |
2003 |
84 | C |
p. 91-104 14 p. |
artikel |
21 gevonden resultaten